439 results on '"Andréka, Hajnal"'
Search Results
2. Complexity in the interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime
3. Generalizations and new kinds of logics
4. General framework and algebraization
5. Appendix: Algebras of relations
6. Applying the machinery: Examples
7. Bridge between logic and algebra
8. Notation, Elementary Concepts
9. Basics from Universal Algebra
10. A representation theorem for measurable relation algebras with cyclic groups
11. The variety of coset relation algebras
12. Universal Algebraic Logic
13. An Axiom System for General Relativity Complete with respect to Lorentzian Manifolds
14. Quasi-Bijective Relation Algebras
15. Simple Closures
16. Insertion Semiproducts
17. Two-Quasi-Bijective Relation Algebras
18. Group and Geometric Quotient Semiproducts
19. Quotient Semiproducts
20. Quotient Relation Algebras and Equijections
21. Semipowers
22. Diagonal Semiproducts
23. Rectangular Semiproducts
24. Equivalence Semiproducts
25. A note on 'Einstein's special relativity beyond the speed of light by James M. Hill and Barry J. Cox'
26. On Logical Analysis of Relativity Theories
27. Closed Timelike Curves in Relativistic Computation
28. A logic road from special relativity to general relativity
29. TESTING DEFINITIONAL EQUIVALENCE OF THEORIES VIA AUTOMORPHISM GROUPS
30. Visualizing some ideas about Godel-type rotating universes
31. A twist in the geometry of rotating black holes: seeking the cause of acausality
32. ON TARSKI’S AXIOMATIC FOUNDATIONS OF THE CALCULUS OF RELATIONS
33. On A New Semantics for First-Order Predicate Logic
34. Groups and Algebras of Binary Relations
35. Reducing First-order Logic to Df3, Free Algebras
36. Introduction
37. Finite-Variable Logics Do Not Have Weak Beth Definability Property
38. Relativised Quantification: Some Canonical Varieties of Sequence-Set Algebras
39. Changing a Semantics: Opportunism or Courage?
40. Comparing Theories: The Dynamics of Changing Vocabulary
41. Varieties generated by completions
42. Ultraproducts of continuous posets
43. Residuated Kleene Algebras
44. Simple Relation Algebras
45. Logic of Space-Time and Relativity Theory
46. Term algebras of elementarily equivalent atom structures
47. Coset relation algebras
48. Logical Axiomatizations of Space-Time. Samples from the Literature
49. Can General Relativistic Computers Break the Turing Barrier?
50. Universal Algebra
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.