49 found
Order:
Disambiguations
Hajnal Andréka [31]H. Andréka [18]
  1. Modal Languages and Bounded Fragments of Predicate Logic.Hajnal Andréka, István Németi & Johan van Benthem - 1998 - Journal of Philosophical Logic 27 (3):217 - 274.
    What precisely are fragments of classical first-order logic showing “modal” behaviour? Perhaps the most influential answer is that of Gabbay 1981, which identifies them with so-called “finite-variable fragments”, using only some fixed finite number of variables (free or bound). This view-point has been endorsed by many authors (cf. van Benthem 1991). We will investigate these fragments, and find that, illuminating and interesting though they are, they lack the required nice behaviour in our sense. (Several new negative results support this claim.) (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   61 citations  
  2. A Logic Road From Special Relativity to General Relativity.Hajnal Andréka, Judit X. Madarász, István Németi & Gergely Székely - 2012 - Synthese 186 (3):633 - 649.
    We present a streamlined axiom system of special relativity in first-order logic. From this axiom system we "derive" an axiom system of general relativity in two natural steps. We will also see how the axioms of special relativity transform into those of general relativity. This way we hope to make general relativity more accessible for the non-specialist.
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  3.  32
    Mutual Definability Does Not Imply Definitional Equivalence, a Simple Example.Hajnal Andréka, Judit X. Madarász & István Németi - 2005 - Mathematical Logic Quarterly 51 (6):591-597.
    We give two theories, Th1 and Th2, which are explicitly definable over each other , but are not definitionally equivalent. The languages of the two theories are disjoint.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  4.  22
    Complexity of Equations Valid in Algebras of Relations Part I: Strong Non-Finitizability.Hajnal Andréka - 1997 - Annals of Pure and Applied Logic 89 (2):149-209.
    We study algebras whose elements are relations, and the operations are natural “manipulations” of relations. This area goes back to 140 years ago to works of De Morgan, Peirce, Schröder . Well known examples of algebras of relations are the varieties RCAn of cylindric algebras of n-ary relations, RPEAn of polyadic equality algebras of n-ary relations, and RRA of binary relations with composition. We prove that any axiomatization, say E, of RCAn has to be very complex in the following sense: (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  5.  50
    Omitting Types for Finite Variable Fragments and Complete Representations of Algebras.Hajnal Andréka, István Németi & Tarek Sayed Ahmed - 2008 - Journal of Symbolic Logic 73 (1):65-89.
    We give a novel application of algebraic logic to first order logic. A new, flexible construction is presented for representable but not completely representable atomic relation and cylindric algebras of dimension n (for finite n > 2) with the additional property that they are one-generated and the set of all n by n atomic matrices forms a cylindric basis. We use this construction to show that the classical Henkin-Orey omitting types theorem fails for the finite variable fragments of first order (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  6.  3
    Nonrepresentable Relation Algebras From Groups.H. Andréka, S. Givant & I. Németi - forthcoming - Review of Symbolic Logic:1-21.
    A series of nonrepresentable relation algebras is constructed from groups. We use them to prove that there are continuum many subvarieties between the variety of representable relation algebras and the variety of coset relation algebras. We present our main construction in terms of polygroupoids.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  70
    Axiomatizing Relativistic Dynamics Without Conservation Postulates.Hajnal Andréka, Judit Madarász X., István Németi & Gergely Székely - 2008 - Studia Logica 89 (2):163 - 186.
    A part of relativistic dynamics is axiomatized by simple and purely geometrical axioms formulated within first-order logic. A geometrical proof of the formula connecting relativistic and rest masses of bodies is presented, leading up to a geometric explanation of Einstein’s famous E = mc 2. The connection of our geometrical axioms and the usual axioms on the conservation of mass, momentum and four-momentum is also investigated.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  8. A System of Logic for Partial Functions Under Existence-Dependent Kleene Equality.H. Andréka, W. Craig & I. Németi - 1988 - Journal of Symbolic Logic 53 (3):834-839.
  9.  46
    On A New Semantics for First-Order Predicate Logic.István Németi, Johan van Benthem & Hajnal Andréka - 2017 - Journal of Philosophical Logic 46 (3):259-267.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10. Algebraic Logic.H. Andréka, J. Donald Monk, I. Németi, Bolyai János Matematikai Társulat & Association of Symbolic Logic - 1991
  11.  36
    Lambek Calculus and its Relational Semantics: Completeness and Incompleteness. [REVIEW]Hajnal Andréka & Szabolcs Mikulás - 1994 - Journal of Logic, Language and Information 3 (1):1-37.
    The problem of whether Lambek Calculus is complete with respect to (w.r.t.) relational semantics, has been raised several times, cf. van Benthem (1989a) and van Benthem (1991). In this paper, we show that the answer is in the affirmative. More precisely, we will prove that that version of the Lambek Calculus which does not use the empty sequence is strongly complete w.r.t. those relational Kripke-models where the set of possible worlds,W, is a transitive binary relation, while that version of the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  12. On the Number of Generators of Cylindric Algebras.H. Andréka & I. Németi - 1985 - Journal of Symbolic Logic 50 (4):865-873.
  13.  9
    On A New Semantics for First-Order Predicate Logic.István Németi, Johan Benthem & Hajnal Andréka - 2017 - Journal of Philosophical Logic 46 (3):259-267.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  25
    Finite Algebras of Relations Are Representable on Finite Sets.H. Andréka, I. Hodkinson & I. Németi - 1999 - Journal of Symbolic Logic 64 (1):243-267.
    Using a combinatorial theorem of Herwig on extending partial isomorphisms of relational structures, we give a simple proof that certain classes of algebras, including Crs, polyadic Crs, and WA, have the `finite base property' and have decidable universal theories, and that any finite algebra in each class is representable on a finite set.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  15. Expressibility of Properties of Relations.Hajnal Andréka, Ivo Düntsch & István Németi - 1995 - Journal of Symbolic Logic 60 (3):970-991.
    We investigate in an algebraic setting the question of which logical languages can express the properties integral, permutational, and rigid for algebras of relations.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  16.  17
    Notions of Density That Imply Representability in Algebraic Logic.Hajnal Andréka, Steven Givant, Szabolcs Mikulás, István Németi & András Simon - 1998 - Annals of Pure and Applied Logic 91 (2-3):93-190.
    Henkin and Tarski proved that an atomic cylindric algebra in which every atom is a rectangle must be representable . This theorem and its analogues for quasi-polyadic algebras with and without equality are formulated in Henkin, Monk and Tarski [13]. We introduce a natural and more general notion of rectangular density that can be applied to arbitrary cylindric and quasi-polyadic algebras, not just atomic ones. We then show that every rectangularly dense cylindric algebra is representable, and we extend this result (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  17.  20
    On Universal Algebraic Constructions of Logics.H. Andréka, T. Gergely & I. Németi - 1977 - Studia Logica 36 (1-2):9 - 47.
  18.  14
    Axiomatizing Relativistic Dynamics Without Conservation Postulates.H. Andréka, J. X. Madarász, I. Németi & G. Székely - 2008 - Studia Logica 89 (2):163-186.
    A part of relativistic dynamics is axiomatized by simple and purely geometrical axioms formulated within first-order logic. A geometrical proof of the formula connecting relativistic and rest masses of bodies is presented, leading up to a geometric explanation of Einstein's famous E = mc² . The connection of our geometrical axioms and the usual axioms on the conservation of mass, momentum and four-momentum is also investigated.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  19.  22
    Complexity of Equations Valid in Algebras of Relations Part II: Finite Axiomatizations.Hajnal Andréka - 1997 - Annals of Pure and Applied Logic 89 (2-3):211-229.
    We study algebras whose elements are relations, and the operations are natural “manipulations” of relations. This area goes back to 140 years ago to works of De Morgan, Peirce, Schröder . Well known examples of algebras of relations are the varieties RCAn of cylindric algebras of n-ary relations, RPEAn of polyadic equality algebras of n-ary relations, and RRA of binary relations with composition. We prove that any axiomatization, say E, of RCAn has to be very complex in the following sense: (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  20. A Twist in the Geometry of Rotating Black Holes: Seeking the Cause of Acausality.Christian Wüthrich, Hajnal Andréka & István Németi - manuscript
    We investigate Kerr–Newman black holes in which a rotating charged ring-shaped singularity induces a region which contains closed timelike curves (CTCs). Contrary to popular belief, it turns out that the time orientation of the CTC is oppo- site to the direction in which the singularity or the ergosphere rotates. In this sense, CTCs “counter-rotate” against the rotating black hole. We have similar results for all spacetimes sufficiently familiar to us in which rotation induces CTCs. This motivates our conjecture that perhaps (...)
     
    Export citation  
     
    Bookmark   1 citation  
  21.  21
    General Algebraic Logic: A Perspective on “What is Logic”.Istvan Nemeti & Hajnal Andreka - 1994 - In Dov M. Gabbay (ed.), What is a Logical System? Oxford University Press.
  22.  53
    Algebraic Logic Conference, Budapest, 1988.H. Andréka, M. Ferenczi, I. Németi & Gy Serény - 1989 - Journal of Symbolic Logic 54 (2):686-686.
  23. Modal Logics and Bounded First-Order Fragments'.H. Andréka, J. van Benthem & I. Németi - forthcoming - Journal of Philosophical Logic.
  24. Cylindric Set Algebras.L. Henkin, J. D. Monk, A. Tarski, H. Andréka & I. Németi - 1986 - Studia Logica 45 (2):223-225.
  25.  23
    Back and Forth Between Modal Logic and Classical Logic.Hajnal Andreka, Johan van Benthem & Istvan Nemeti - 1995 - Logic Journal of the IGPL 3 (5):685-720.
  26.  20
    Binary Relations and Permutation Groups.Hajnal Andréka & Ivo Düntsch - 1995 - Mathematical Logic Quarterly 41 (2):197-216.
    We discuss some new properties of the natural Galois connection among set relation algebras, permutation groups, and first order logic. In particular, we exhibit infinitely many permutational relation algebras without a Galois closed representation, and we also show that every relation algebra on a set with at most six elements is Galois closed and essentially unique. Thus, we obtain the surprising result that on such sets, logic with three variables is as powerful in expression as full first order logic.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  27.  33
    The Lattice of Varieties of Representable Relation Algebras.Hajnal Andréka, Steven Givant & István Németi - 1994 - Journal of Symbolic Logic 59 (2):631-661.
    We shall show that certain natural and interesting intervals in the lattice of varieties of representable relation algebras embed the lattice of all subsets of the natural numbers, and therefore must have a very complicated lattice-theoretic structure.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  28. The Completeness of the Lambek Calculus with Respect to Relational Semantics'.H. Andréka & Sz Mikulás - 1993 - Journal of Logic, Language and Information 3:1-37.
     
    Export citation  
     
    Bookmark   3 citations  
  29.  29
    Relativised Quantification: Some Canonical Varieties of Sequence-Set Algebras.Hajnal Andréka, Robert Goldblatt & István Németi - 1998 - Journal of Symbolic Logic 63 (1):163-184.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30.  10
    Representations for Small Relation Algebras.Hajnal Andréka & Roger D. Maddux - 1994 - Notre Dame Journal of Formal Logic 35 (4):550-562.
    There are eighteen isomorphism types of finite relation algebras with eight or fewer elements, and all of them are representable. We determine all the cardinalities of sets on which these algebras have representations.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  31.  16
    A Representation Theorem for Measurable Relation Algebras.Steven Givant & Hajnal Andréka - 2018 - Annals of Pure and Applied Logic 169 (11):1117-1189.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  32.  21
    Groups and Algebras of Binary Relations.Steven Givant & Hajnal Andréka - 2002 - Bulletin of Symbolic Logic 8 (1):38-64.
    In 1941, Tarski published an abstract, finitely axiomatized version of the theory of binary relations, called the theory of relation algebras, He asked whether every model of his abstract theory could be represented as a concrete algebra of binary relations. He and Jonsson obtained some initial, positive results for special classes of abstract relation algebras. But Lyndon showed, in 1950, that in general the answer to Tarski's question is negative. Monk proved later that the answer remains negative even if one (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  39
    Not All Representable Cylindric Algebras Are Neat Reducts.Hajnal Andréka & István Németi - 1979 - Bulletin of the Section of Logic 8 (3):145-147.
  34.  10
    The Variety of Coset Relation Algebras.Steven Givant & Hajnal Andréka - 2018 - Journal of Symbolic Logic 83 (4):1595-1609.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35.  6
    Finite Algebras of Relations Are Representable on Finite Sets.H. Andreka, I. Hodkinson & I. Nemeti - 1999 - Journal of Symbolic Logic 64 (1):243-267.
    Using a combinatorial theorem of Herwig on extending partial isomorphisms of relational structures, we give a simple proof that certain classes of algebras, including Crs, polyadic Crs, and WA, have the `finite base property' and have decidable universal theories, and that any finite algebra in each class is representable on a finite set.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  36.  13
    On Tarski’s Axiomatic Foundations of the Calculus of Relations.Hajnal Andréka, Steven Givant, Peter Jipsen & István Németi - 2017 - Journal of Symbolic Logic 82 (3):966-994.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  3
    Nonrepresentable Relation Algebras From Groups - Addendum.Hajnal Andréka, István Németi & Steven Givant - 2019 - Review of Symbolic Logic 12 (4):892-892.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  29
    On Universal Algebraic Logic and Cylindric Algebras.Hajnal Andréka & István Németi - 1978 - Bulletin of the Section of Logic 7 (4):152-158.
  39.  21
    Sufficient and Necessary Condition for the Completeness of a Calculus.H. Andréka, T. Gergely & I. Németi - 1974 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (28-29):433-434.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40.  24
    Perfect Extensions and Derived Algebras.Hajnal Andréka, Steven Givant & István Németi - 1995 - Journal of Symbolic Logic 60 (3):775-796.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  41.  20
    Weak Cylindric Set Algebras and Weak Subdirect Indecomposability.H. Andréka, I. Németi & R. J. Thompson - 1990 - Journal of Symbolic Logic 55 (2):577-588.
    In this note we prove that the abstract property "weakly subdirectly indecomposable" does not characterize the class IWs α of weak cylindric set algebras. However, we give another (similar) abstract property characterizing IWs α . The original property does characterize the directed unions of members of $\mathrm{IWs}_alpha \operatorname{iff} \alpha$ is countable. Free algebras will be shown to satisfy the original property.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  42.  23
    Connections Between Axioms of Set Theory and Basic Theorems of Universal Algebra.H. Andréka, Á Kurucz & I. Németi - 1994 - Journal of Symbolic Logic 59 (3):912-923.
    One of the basic theorems in universal algebra is Birkhoff's variety theorem: the smallest equationally axiomatizable class containing a class K of algebras coincides with the class obtained by taking homomorphic images of subalgebras of direct products of elements of K. G. Gratzer asked whether the variety theorem is equivalent to the Axiom of Choice. In 1980, two of the present authors proved that Birkhoff's theorem can already be derived in ZF. Surprisingly, the Axiom of Foundation plays a crucial role (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  43.  6
    REVIEWS-Decision Problems for Equational Theories of Relation Algebras.H. Andreka, S. Givant, I. Nemeti & Roger D. Maddux - 2003 - Bulletin of Symbolic Logic 9 (1):37-38.
  44.  5
    Relativised Quantification: Some Canonical Varieties of Sequence-Set Algebras.Hajnal Andreka, Robert Goldblatt & Istvan Nemeti - 1998 - Journal of Symbolic Logic 63 (1):163-184.
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  7
    Sufficient and Necessary Condition for the Completeness of a Calculus.H. Andréka, T. Gergely & I. Németi - 1974 - Mathematical Logic Quarterly 20 (28‐29):433-434.
  46. Completeness of Floyd Logic.Hajnal Andreka & Istvan Nemeti - 1978 - Bulletin of the Section of Logic 7 (3):115-119.
    This is an abstract of our paper \A characterisation of Floyd-provable programs" submitted to Theoretical Computer Science. ! denotes the set of natural numbers. Y =d fyi : i 2 !g is the set of variable symbols. L denotes the set of classical rst order formulas of type t possibly with free variables , where t is the similarity type of arithmetic, i.e. it consists of \+; ; 0; 1" with arities \2; 2; 0; 0".
     
    Export citation  
     
    Bookmark  
  47. On Neat Reducts of Algebras of Logic', Presented in Logic Colloquium 1996, Abstract Appeared in The.H. Andréka, I. NÉmeti & T. Sayed Ahmed - 1997 - Bulletin of Symbolic Logic 3 (2):249.
  48. Program Verification Within and Without Logic.Hajnal Andreka, Istvan Nemeti & Ildiko Sain - 1979 - Bulletin of the Section of Logic 8 (3):124-128.
    Theorem 1 states a negative result about the classical semantics j= ! of program schemes. Theorem 2 investigates the reason for this. We conclude that Theorem 2 justies the Henkin-type semantics j= for which the opposite of the present Theorem 1 was proved in [1]{[3] and also in a dierent form in part III of [5]. The strongest positive result on j= is Corollary 6 in [3].
     
    Export citation  
     
    Bookmark  
  49. Quasi Equational Logic Of Partial Algebras.Hajnal Andreka, Peter Burmeister & Istvan Nemeti - 1980 - Bulletin of the Section of Logic 9 (4):193-197.
     
    Export citation  
     
    Bookmark