×
Author ID: andreka.hajnal Recent zbMATH articles by "Andréka, Hajnal"
Published as: Andréka, Hajnal; Andreka, H.; Andréka, H.; Andreka, Hajnal; Andréka, Hajnalka
Homepage: https://www.renyi.hu/~andreka/
External Links: MGP · Wikidata · GND · IdRef
all top 5

Serials

21 Algebra Universalis
13 The Journal of Symbolic Logic
7 Studia Scientiarum Mathematicarum Hungarica
5 Annals of Pure and Applied Logic
5 Bulletin of the Section of Logic
4 Theoretical Computer Science
3 Kibernetika
3 Transactions of the American Mathematical Society
2 Acta Cybernetica
2 Demonstratio Mathematica
2 Journal of Philosophical Logic
2 Proceedings of the American Mathematical Society
2 Studia Logica
2 Mathematical Logic Quarterly (MLQ)
2 Parallel Processing Letters
1 Classical and Quantum Gravity
1 General Relativity and Gravitation
1 Beiträge zur Algebra und Geometrie
1 Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio Mathematica
1 Commentationes Mathematicae Universitatis Carolinae
1 Dissertationes Mathematicae
1 Matematikai Lapok
1 Mathematica Slovaca
1 Memoirs of the American Mathematical Society
1 Michigan Mathematical Journal
1 Notre Dame Journal of Formal Logic
1 Synthese
1 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik
1 Bulletin of the Section of Logic
1 Information and Computation
1 Journal of Logic and Computation
1 Journal of Logic, Language and Information
1 The Bulletin of Symbolic Logic
1 Journal of the IGPL
1 Logic Journal of the IGPL
1 Proceedings of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences
1 Natural Computing
1 Bulletin de l’Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques et Physiques
1 Bolyai Society Mathematical Studies
1 Colloquia Mathematica Societatis János Bolyai
1 Lecture Notes in Mathematics
1 The Review of Symbolic Logic
1 Studies in Universal Logic

Publications by Year

Citations contained in zbMATH Open

112 Publications have been cited 921 times in 539 Documents Cited by Year
Modal languages and bounded fragments of predicate logic. Zbl 0919.03013
Andréka, Hajnal; Németi, István; van Benthem, Johan
126
1998
The equational theory of union-free algebras of relations. Zbl 0826.03013
Andréka, H.; Bredikhin, D. A.
32
1995
Representations of distributive lattice-ordered semigroups with binary relations. Zbl 0725.06007
Andréka, H.
30
1991
Operators and laws for combining preference relations. Zbl 1008.91027
Andréka, Hajnal; Ryan, Mark; Schobbens, Pierre-Yves
28
2002
Algebraic logic. 2nd ed. Zbl 1003.03536
Andréka, H.; Németi, I.; Sain, I.
28
2001
Cylindric set algebras. Cylindric set algebras and related structures. By L. Henkin, J. D. Monk, and A. Tarski. On cylindric-relativized set algebras. By H. Andreka and I. Nemeti. Zbl 0497.03025
Henkin, L.; Monk, J. Donald; Tarski, A.; Andreka, H.; Nemeti, I.
24
1981
A Stone type representation theorem for algebras of relations of higher rank. Zbl 0707.03053
Andréka, H.; Thompson, R. J.
24
1988
Axiomatizability of positive algebras of binary relations. Zbl 1253.03091
Andréka, Hajnal; Mikulás, Szabolcs
22
2011
Lambek calculus and its relational semantics: Completeness and incompleteness. Zbl 0808.03003
Andréka, Hajnal; Mikulás, Szabolcs
22
1994
A logic road from special relativity to general relativity. Zbl 1275.03069
Andréka, Hajnal; Madarász, Judit X.; Németi, István; Székely, Gergely
21
2012
Cylindric-like algebras and algebraic logic. Zbl 1258.03003
21
2012
Omitting types for finite variable fragments and complete representations of algebras. Zbl 1143.03035
Andréka, Hajnal; Németi, István; Sayed Ahmed, Tarek
20
2008
Complexity of equations valid in algebras of relations. I: Strong non-finitizability. Zbl 0898.03023
Andréka, Hajnal
19
1997
Logical analysis of relativity theories. Zbl 1096.03029
Andréka, H.; Madarász, J. X.; Németi, I.
18
2004
A complete logic for reasoning about programs via nonstandard model theory. II. Zbl 0475.68010
Andreka, H.; Nemeti, I.; Sain, I.
17
1982
Logical axiomatizations of space-time. Samples from the literature. Zbl 1102.03037
Andréka, Hajnal; Madarász, Judit X.; Németi, István
16
2006
The generalised completeness of Horn predicate-logic as a programming language. Zbl 0496.68021
Andreka, H.; Nemeti, I.
15
1978
Free algebras in discriminator varieties. Zbl 0745.03050
Andréka, H.; Jónsson, B.; Németi, I.
14
1991
Completeness problems in verification of programs and program schemes. Zbl 0411.03017
Andreka, H.; Nemeti, I.; Sain, I.
14
1979
Axiomatizing relativistic dynamics without conservation postulates. Zbl 1148.03028
Andréka, Hajnal; Madarász, Judit X.; Németi, István; Székely, Gergely
14
2008
On universal algebraic constructions of logics. Zbl 0362.02057
Andreka, H.; Gergely, T.; Nemeti, I.
13
1977
Mutual definability does not imply definitional equivalence, a simple example. Zbl 1079.03020
Andréka, Hajnal; Madarász, Judit X.; Németi, István
13
2005
Epimorphisms in cylindric algebras and definability in finite variable logic. Zbl 1184.03060
Andréka, H.; Comer, S. D.; Madarász, J. X.; Németi, I.; Sayed Ahmed, T.
12
2009
Generalization of the concept of variety and quasivariety to partial algebras through category theory. Zbl 0518.08007
Andreka, H.; Nemeti, I.
11
1983
Finite algebras of relations are representable on finite sets. Zbl 0926.03078
Andréka, H.; Hodkinson, I.; Németi, I.
11
1999
Algebraic logic. Papers of a colloquium, held in Budapest, Hungary, between August 8-14, 1988. Zbl 0741.00041
11
1991
Decision problems for equational theories of relation algebras. Zbl 0877.03030
Andréka, Hajnal; Givant, Steven; Németi, István
11
1997
Back and forth between modal logic and classical logic. Zbl 0840.03010
Andréka, Hajnal; van Benthem, Johan; Németi, Istvan
10
1995
A complete logic for reasoning about programs via nonstandard model theory. I. Zbl 0475.68009
Andreka, H.; Nemeti, I.; Sain, I.
10
1982
Quasivarieties of partial algebras. A unifying approach towards a two- valued model theory for partial algebras. Zbl 0537.08004
Andréka, H.; Burmeister, P.; Németi, I.
9
1981
A simple, purely algebraic proof of the completeness of some first order logics. Zbl 0306.02059
Andreka, H.; Nemeti, I.
9
1975
Splitting in relation algebras. Zbl 0721.03046
Andréka, H.; Maddux, R. D.; Németi, I.
9
1991
Injectivity in categories to represent all first order formulas. I. Zbl 0497.03029
Andreka, Hajnal; Nemeti, Istvan
8
1979
Formulas and ultraproducts in categories. Zbl 0531.03042
Andréka, Hajnalka; Németi, István
8
1979
Changing a semantics: opportunism or courage? Zbl 1347.03014
Andréka, Hajnal; van Benthem, Johan; Bezhanishvili, Nick; Németi, István
8
2014
An introduction to cylindric set algebras. Zbl 0979.03046
Monk, J. Donald
8
2000
Notions of density that imply representability in algebraic logic. Zbl 0930.03100
Andréka, Hajnal; Givant, Steven; Mikulás, Szabolcs; Németi, István; Simon, András
8
1998
Groups and algebras of binary relations. Zbl 1002.03055
Givant, Steven; Andréka, Hajnal
8
2002
Completeness of Floyd logic. Zbl 0407.03034
Andreka, Hajnal; Nemeti, Istvan
8
1978
Weakly representable but not representable relation algebras. Zbl 0812.03036
Andréka, H.
8
1994
Comparing theories: the dynamics of changing vocabulary. Zbl 1344.03009
Andréka, Hajnal; Németi, István
8
2014
Can general relativistic computers break the Turing barrier? Zbl 1145.68419
Németi, István; Andréka, Hajnal
7
2006
A characterization of Floyd-provable programs. Zbl 0481.68035
Andreka, H.; Nemeti, I.; Sain, I.
7
1981
A twist in the geometry of rotating black holes: seeking the cause of acausality. Zbl 1152.83331
Andréka, Hajnal; Németi, István; Wüthrich, Christian
7
2008
A finite axiomatization of locally square cylindric-relativized set algebras. Zbl 0997.03052
Andréka, H.
7
2001
Representations for small relation algebras. Zbl 0830.03033
Andréka, Hajnal; Maddux, Roger D.
6
1994
General relativistic hypercomputing and foundation of mathematics. Zbl 1192.68258
Andréka, Hajnal; Németi, István; Németi, Péter
6
2009
On the strength of temporal proofs. Zbl 0732.03020
Andréka, Hajnal; Németi, István; Sain, Ildikó
6
1991
Henkin-type semantics for program-schemes to turn negative results to positive. Zbl 0418.03028
Andreka, H.; Nemeti, I.; Sain, I.
6
1979
The lattice of varieties of representable relation algebras. Zbl 0815.03039
Andréka, Hajnal; Givant, Steven; Németi, István
6
1994
A note on ‘Einstein’s special relativity beyond the speed of light by James M. Hill and Barry J. Cox’. Zbl 1352.83003
Andréka, Hajnal; Madarász, Judit X.; Németi, István; Székely, Gergely
6
2013
Coset relation algebras. Zbl 1522.03337
Andréka, Hajnal; Givant, Steven
6
2018
A representation theorem for measurable relation algebras. Zbl 1453.03071
Givant, Steven; Andréka, Hajnal
6
2018
Los lemma holds in every category. Zbl 0502.03015
Andreka, Hajnal; Nemeti, Istvan
5
1978
A system of logic for partial functions under existence-dependent Kleene equality. Zbl 0663.08004
Andréka, H.; Craig, W.; Németi, I.
4
1988
Similarity types, pseudosimple algebras, and congruence representations of chains. Zbl 0478.08006
Andreka, Hajnal; Nemeti, Istvan
4
1981
General algebraic logic: A perspective on “What is logic”. Zbl 0823.03040
Németi, István; Andréka, Hajnal
4
1994
General algebraic logic including algebraic model theory: An overview. Zbl 0844.03034
Andréka, Hajnal; Németi, István; Sain, Ildikó; Kurucz, Ágnes
4
1995
Axiomatization of identity-free equations valid in relation algebras. Zbl 0852.03024
Andréka, H.; Németi, I.
4
1996
How many varieties of cylindric algebras are there. Zbl 1423.03256
Andréka, H.; Németi, I.
4
2017
A non representable infinite dimensional quasi-polyadic equality algebra with a representable cylindric reduct. Zbl 1299.03071
Andréka, Hajnal; Németi, István; Sayed Ahmed, Tarek
4
2013
On taking subalgebras of relativized relation algebras. Zbl 0649.03048
Andréka, H.
3
1988
Some universal algebraic and model theoretic results in computer science. Zbl 0483.68050
Andreka, H.; Nemeti, I.
3
1981
A general axiomatizability theorem formulated in terms of coneinjective subcategories. Zbl 0489.03006
Andreka, Hajnal; Nemeti, Istvan
3
1982
Injectivity in categories to represent all first order formulas. I. Zbl 0517.03029
Andreka, Hajnal; Nemeti, Istvan
3
1979
The equational theory of Kleene lattices. Zbl 1234.68273
Andréka, Hajnal; Mikulás, Szabolcs; Németi, István
3
2011
On Jónsson’s clones of operations on binary relations. Zbl 0756.08002
Németi, István; Andréka, Hajnal
3
1991
Program verification within and without logic. Zbl 0441.68024
Andreka, Hajnal; Nemeti, Istvan; Sain, Ildiko
3
1979
A nonpermutational integral relation algebra. Zbl 0782.03030
Andréka, H.; Düntsch, I.; Németi, I.
3
1992
Faster than light motion does not imply time travel. Zbl 1291.83035
Andréka, Hajnal; Madarász, Judit X.; Németi, István; Stannett, Mike; Székely, Gergely
3
2014
Closed timelike curves in relativistic computation. Zbl 1294.68078
Andréka, Hajnal; Németi, István; Székely, Gergely
3
2012
Reducing first-order logic to \(\mathsf{Df}_3\), free algebras. Zbl 1284.03272
Andréka, Hajnal; Németi, István
3
2012
Nonrepresentable relation algebras from groups. Zbl 1477.03262
Andréka, Hajnal; Németi, István; Givant, Steven
3
2020
Dimension-complemented and locally finite dimensional cylindric algebras are elementarily equivalent. Zbl 0495.03044
Andreka, H.; Nemeti, I.
2
1981
Connections between algebraic logic and initial algebra semantics of CF languages. Zbl 0502.68023
Andreka, H.; Sain, I.
2
1981
Importance of universal algebra for computer science. Zbl 0548.68022
Andréka, H.; Németi, I.
2
1984
Relativised quantification: Some canonical varieties of sequence-set algebras. Zbl 0907.03029
Andréka, Hajnal; Goldblatt, Robert; Németi, István
2
1998
Binary relations and permutation groups. Zbl 0823.03036
Andréka, Hajnal; Düntsch, Ivo; Németi, István
2
1995
Expressibility of properties of relations. Zbl 0842.03045
Andréka, Hajnal; Düntsch, Ivo; Németi, István
2
1995
Complexity of equations valid in algebras of relations. II: Finite axiomatizations. Zbl 0898.03024
Andréka, Hajnal
2
1997
New physics and hypercomputation. Zbl 1175.68167
Németi, Istvan; Andreka, Hajnal
2
2006
A unifying theorem for algebraic semantics and dynamic logics. Zbl 0616.03016
Andréka, H.; Guessarian, I.; Németi, I.
2
1987
On the strength of temporal proofs. Zbl 0754.03017
Andréka, Hajnal; Németi, István; Sain, Ildikó
2
1989
Causes and remedies for undecidability in arrow logics and in multi-modal logics. Zbl 0874.03023
Andréka, Hajnal; Kurucz, Ágnes; Németi, István; Sain, Ildikó; Simon, András
2
1996
On the congruence lattice of pseudo-simple algebras. Zbl 0371.08007
Andreka, H.; Nemeti, I.
2
1977
On systems of varieties definable by schemes of equations. Zbl 0387.03025
Andréka, H.; Németi, I.
2
1980
Relatively free relation algebras. Zbl 0783.03035
Andréka, H.; Jónsson, B.; Németi, I.
2
1990
Decision problems for equational theories of relation algebras. Zbl 0801.03046
Andréka, Hajnal; Givant, Steven; Németi, István
2
1994
Residuated Kleene algebras. Zbl 1354.03096
Andréka, Hajnal; Mikulás, Szabolcs; Németi, István
2
2012
Simple relation algebras. Zbl 1437.03001
Givant, Steven; Andréka, Hajnal
2
2017
On a new semantics for first-order predicate logic. Zbl 1417.03118
Andréka, Hajnal; van Benthem, Johan; Németi, István
2
2017
The variety of coset relation algebras. Zbl 1477.03263
Givant, Steven; Andréka, Hajnal
2
2018
Quasi equational logic of partial algebras. Zbl 0491.08008
Andreka, Hajnal; Burmeister, Peter; Nemeti, Istvan
1
1980
HSP K is equational class, without the axiom of choice. Zbl 0492.03011
Andreka, H.; Nemeti, I.
1
1981
Sharpening the characterization of the power of Floyd method. Zbl 0528.68007
Andreka, H.
1
1983
Perfect extensions and derived algebras. Zbl 0839.03053
Andréka, Hajnal; Givant, Steven; Németi, István
1
1995
Clones of operations on relations. Zbl 0568.08005
Andreka, H.; Comer, S. D.; Nemeti, I.
1
1985
On a proof of Shelah. Zbl 0339.02046
Andreka, H.; Dahn, B.; Nemeti, I.
1
1976
A unifying theorem for algebraic semantics and dynamic logics. Zbl 0591.68040
Andreka, H.; Guessarian, I.; Németi, I.
1
1985
On the number of generators of cylindric algebras. Zbl 0614.03059
Andréka, H.; Németi, I.
1
1985
Universal algebraic logic. Dedicated to the unity of science. Zbl 07613273
Andréka, Hajnal; Gyenis, Zalán; Németi, István; Sain, Ildikó
1
2022
Nonrepresentable relation algebras from groups. Zbl 1477.03262
Andréka, Hajnal; Németi, István; Givant, Steven
3
2020
A representation theorem for measurable relation algebras with cyclic groups. Zbl 07051081
Andréka, Hajnal; Givant, Steven
1
2019
Varieties generated by completions. Zbl 1468.03080
Andréka, Hajnal; Németi, István
1
2019
Coset relation algebras. Zbl 1522.03337
Andréka, Hajnal; Givant, Steven
6
2018
A representation theorem for measurable relation algebras. Zbl 1453.03071
Givant, Steven; Andréka, Hajnal
6
2018
The variety of coset relation algebras. Zbl 1477.03263
Givant, Steven; Andréka, Hajnal
2
2018
How many varieties of cylindric algebras are there. Zbl 1423.03256
Andréka, H.; Németi, I.
4
2017
Simple relation algebras. Zbl 1437.03001
Givant, Steven; Andréka, Hajnal
2
2017
On a new semantics for first-order predicate logic. Zbl 1417.03118
Andréka, Hajnal; van Benthem, Johan; Németi, István
2
2017
On Tarski’s axiomatic foundations of the calculus of relations. Zbl 1422.03133
Andréka, Hajnal; Givant, Steven; Jipsen, Peter; Németi, István
1
2017
Ultraproducts of continuous posets. Zbl 1397.06007
Andréka, Hajnal; Gyenis, Zalán; Németi, István
1
2016
Finite-variable logics do not have weak Beth definability property. Zbl 1371.03042
Andréka, Hajnal; Németi, István
1
2015
Changing a semantics: opportunism or courage? Zbl 1347.03014
Andréka, Hajnal; van Benthem, Johan; Bezhanishvili, Nick; Németi, István
8
2014
Comparing theories: the dynamics of changing vocabulary. Zbl 1344.03009
Andréka, Hajnal; Németi, István
8
2014
Faster than light motion does not imply time travel. Zbl 1291.83035
Andréka, Hajnal; Madarász, Judit X.; Németi, István; Stannett, Mike; Székely, Gergely
3
2014
A note on ‘Einstein’s special relativity beyond the speed of light by James M. Hill and Barry J. Cox’. Zbl 1352.83003
Andréka, Hajnal; Madarász, Judit X.; Németi, István; Székely, Gergely
6
2013
A non representable infinite dimensional quasi-polyadic equality algebra with a representable cylindric reduct. Zbl 1299.03071
Andréka, Hajnal; Németi, István; Sayed Ahmed, Tarek
4
2013
A logic road from special relativity to general relativity. Zbl 1275.03069
Andréka, Hajnal; Madarász, Judit X.; Németi, István; Székely, Gergely
21
2012
Cylindric-like algebras and algebraic logic. Zbl 1258.03003
21
2012
Closed timelike curves in relativistic computation. Zbl 1294.68078
Andréka, Hajnal; Németi, István; Székely, Gergely
3
2012
Reducing first-order logic to \(\mathsf{Df}_3\), free algebras. Zbl 1284.03272
Andréka, Hajnal; Németi, István
3
2012
Residuated Kleene algebras. Zbl 1354.03096
Andréka, Hajnal; Mikulás, Szabolcs; Németi, István
2
2012
Functionally dense relation algebras. Zbl 1272.03161
Andréka, Hajnal; Givant, Steven
1
2012
Decidability, undecidability, and Gödel’s incompleteness in relativity theories. Zbl 1288.03032
Andréka, Hajnal; Madarász, Judit; Németi, István
1
2012
Axiomatizability of positive algebras of binary relations. Zbl 1253.03091
Andréka, Hajnal; Mikulás, Szabolcs
22
2011
The equational theory of Kleene lattices. Zbl 1234.68273
Andréka, Hajnal; Mikulás, Szabolcs; Németi, István
3
2011
Epimorphisms in cylindric algebras and definability in finite variable logic. Zbl 1184.03060
Andréka, H.; Comer, S. D.; Madarász, J. X.; Németi, I.; Sayed Ahmed, T.
12
2009
General relativistic hypercomputing and foundation of mathematics. Zbl 1192.68258
Andréka, Hajnal; Németi, István; Németi, Péter
6
2009
Omitting types for finite variable fragments and complete representations of algebras. Zbl 1143.03035
Andréka, Hajnal; Németi, István; Sayed Ahmed, Tarek
20
2008
Axiomatizing relativistic dynamics without conservation postulates. Zbl 1148.03028
Andréka, Hajnal; Madarász, Judit X.; Németi, István; Székely, Gergely
14
2008
A twist in the geometry of rotating black holes: seeking the cause of acausality. Zbl 1152.83331
Andréka, Hajnal; Németi, István; Wüthrich, Christian
7
2008
Logical axiomatizations of space-time. Samples from the literature. Zbl 1102.03037
Andréka, Hajnal; Madarász, Judit X.; Németi, István
16
2006
Can general relativistic computers break the Turing barrier? Zbl 1145.68419
Németi, István; Andréka, Hajnal
7
2006
New physics and hypercomputation. Zbl 1175.68167
Németi, Istvan; Andreka, Hajnal
2
2006
Mutual definability does not imply definitional equivalence, a simple example. Zbl 1079.03020
Andréka, Hajnal; Madarász, Judit X.; Németi, István
13
2005
Logical analysis of relativity theories. Zbl 1096.03029
Andréka, H.; Madarász, J. X.; Németi, I.
18
2004
Operators and laws for combining preference relations. Zbl 1008.91027
Andréka, Hajnal; Ryan, Mark; Schobbens, Pierre-Yves
28
2002
Groups and algebras of binary relations. Zbl 1002.03055
Givant, Steven; Andréka, Hajnal
8
2002
Algebraic logic. 2nd ed. Zbl 1003.03536
Andréka, H.; Németi, I.; Sain, I.
28
2001
A finite axiomatization of locally square cylindric-relativized set algebras. Zbl 0997.03052
Andréka, H.
7
2001
An introduction to cylindric set algebras. Zbl 0979.03046
Monk, J. Donald
8
2000
Finite algebras of relations are representable on finite sets. Zbl 0926.03078
Andréka, H.; Hodkinson, I.; Németi, I.
11
1999
Modal languages and bounded fragments of predicate logic. Zbl 0919.03013
Andréka, Hajnal; Németi, István; van Benthem, Johan
126
1998
Notions of density that imply representability in algebraic logic. Zbl 0930.03100
Andréka, Hajnal; Givant, Steven; Mikulás, Szabolcs; Németi, István; Simon, András
8
1998
Relativised quantification: Some canonical varieties of sequence-set algebras. Zbl 0907.03029
Andréka, Hajnal; Goldblatt, Robert; Németi, István
2
1998
Complexity of equations valid in algebras of relations. I: Strong non-finitizability. Zbl 0898.03023
Andréka, Hajnal
19
1997
Decision problems for equational theories of relation algebras. Zbl 0877.03030
Andréka, Hajnal; Givant, Steven; Németi, István
11
1997
Complexity of equations valid in algebras of relations. II: Finite axiomatizations. Zbl 0898.03024
Andréka, Hajnal
2
1997
Axiomatization of identity-free equations valid in relation algebras. Zbl 0852.03024
Andréka, H.; Németi, I.
4
1996
Causes and remedies for undecidability in arrow logics and in multi-modal logics. Zbl 0874.03023
Andréka, Hajnal; Kurucz, Ágnes; Németi, István; Sain, Ildikó; Simon, András
2
1996
The equational theory of union-free algebras of relations. Zbl 0826.03013
Andréka, H.; Bredikhin, D. A.
32
1995
Back and forth between modal logic and classical logic. Zbl 0840.03010
Andréka, Hajnal; van Benthem, Johan; Németi, Istvan
10
1995
General algebraic logic including algebraic model theory: An overview. Zbl 0844.03034
Andréka, Hajnal; Németi, István; Sain, Ildikó; Kurucz, Ágnes
4
1995
Binary relations and permutation groups. Zbl 0823.03036
Andréka, Hajnal; Düntsch, Ivo; Németi, István
2
1995
Expressibility of properties of relations. Zbl 0842.03045
Andréka, Hajnal; Düntsch, Ivo; Németi, István
2
1995
Perfect extensions and derived algebras. Zbl 0839.03053
Andréka, Hajnal; Givant, Steven; Németi, István
1
1995
Lambek calculus and its relational semantics: Completeness and incompleteness. Zbl 0808.03003
Andréka, Hajnal; Mikulás, Szabolcs
22
1994
Weakly representable but not representable relation algebras. Zbl 0812.03036
Andréka, H.
8
1994
Representations for small relation algebras. Zbl 0830.03033
Andréka, Hajnal; Maddux, Roger D.
6
1994
The lattice of varieties of representable relation algebras. Zbl 0815.03039
Andréka, Hajnal; Givant, Steven; Németi, István
6
1994
General algebraic logic: A perspective on “What is logic”. Zbl 0823.03040
Németi, István; Andréka, Hajnal
4
1994
Decision problems for equational theories of relation algebras. Zbl 0801.03046
Andréka, Hajnal; Givant, Steven; Németi, István
2
1994
A nonpermutational integral relation algebra. Zbl 0782.03030
Andréka, H.; Düntsch, I.; Németi, I.
3
1992
Representations of distributive lattice-ordered semigroups with binary relations. Zbl 0725.06007
Andréka, H.
30
1991
Free algebras in discriminator varieties. Zbl 0745.03050
Andréka, H.; Jónsson, B.; Németi, I.
14
1991
Algebraic logic. Papers of a colloquium, held in Budapest, Hungary, between August 8-14, 1988. Zbl 0741.00041
11
1991
Splitting in relation algebras. Zbl 0721.03046
Andréka, H.; Maddux, R. D.; Németi, I.
9
1991
On the strength of temporal proofs. Zbl 0732.03020
Andréka, Hajnal; Németi, István; Sain, Ildikó
6
1991
On Jónsson’s clones of operations on binary relations. Zbl 0756.08002
Németi, István; Andréka, Hajnal
3
1991
One variable is not enough for defining relation algebras, but two are. Zbl 0735.03031
Andréka, H.
1
1991
Relatively free relation algebras. Zbl 0783.03035
Andréka, H.; Jónsson, B.; Németi, I.
2
1990
Weak cylindric set algebras and weak subdirect indecomposability. Zbl 0714.03053
Andréka, H.; Németi, I.; Thompson, R. J.
1
1990
On the strength of temporal proofs. Zbl 0754.03017
Andréka, Hajnal; Németi, István; Sain, Ildikó
2
1989
A Stone type representation theorem for algebras of relations of higher rank. Zbl 0707.03053
Andréka, H.; Thompson, R. J.
24
1988
A system of logic for partial functions under existence-dependent Kleene equality. Zbl 0663.08004
Andréka, H.; Craig, W.; Németi, I.
4
1988
On taking subalgebras of relativized relation algebras. Zbl 0649.03048
Andréka, H.
3
1988
A unifying theorem for algebraic semantics and dynamic logics. Zbl 0616.03016
Andréka, H.; Guessarian, I.; Németi, I.
2
1987
Clones of operations on relations. Zbl 0568.08005
Andreka, H.; Comer, S. D.; Nemeti, I.
1
1985
A unifying theorem for algebraic semantics and dynamic logics. Zbl 0591.68040
Andreka, H.; Guessarian, I.; Németi, I.
1
1985
On the number of generators of cylindric algebras. Zbl 0614.03059
Andréka, H.; Németi, I.
1
1985
Importance of universal algebra for computer science. Zbl 0548.68022
Andréka, H.; Németi, I.
2
1984
Generalization of the concept of variety and quasivariety to partial algebras through category theory. Zbl 0518.08007
Andreka, H.; Nemeti, I.
11
1983
Sharpening the characterization of the power of Floyd method. Zbl 0528.68007
Andreka, H.
1
1983
A complete logic for reasoning about programs via nonstandard model theory. II. Zbl 0475.68010
Andreka, H.; Nemeti, I.; Sain, I.
17
1982
A complete logic for reasoning about programs via nonstandard model theory. I. Zbl 0475.68009
Andreka, H.; Nemeti, I.; Sain, I.
10
1982
A general axiomatizability theorem formulated in terms of coneinjective subcategories. Zbl 0489.03006
Andreka, Hajnal; Nemeti, Istvan
3
1982
Cylindric set algebras. Cylindric set algebras and related structures. By L. Henkin, J. D. Monk, and A. Tarski. On cylindric-relativized set algebras. By H. Andreka and I. Nemeti. Zbl 0497.03025
Henkin, L.; Monk, J. Donald; Tarski, A.; Andreka, H.; Nemeti, I.
24
1981
Quasivarieties of partial algebras. A unifying approach towards a two- valued model theory for partial algebras. Zbl 0537.08004
Andréka, H.; Burmeister, P.; Németi, I.
9
1981
A characterization of Floyd-provable programs. Zbl 0481.68035
Andreka, H.; Nemeti, I.; Sain, I.
7
1981
Similarity types, pseudosimple algebras, and congruence representations of chains. Zbl 0478.08006
Andreka, Hajnal; Nemeti, Istvan
4
1981
Some universal algebraic and model theoretic results in computer science. Zbl 0483.68050
Andreka, H.; Nemeti, I.
3
1981
Dimension-complemented and locally finite dimensional cylindric algebras are elementarily equivalent. Zbl 0495.03044
Andreka, H.; Nemeti, I.
2
1981
Connections between algebraic logic and initial algebra semantics of CF languages. Zbl 0502.68023
Andreka, H.; Sain, I.
2
1981
HSP K is equational class, without the axiom of choice. Zbl 0492.03011
Andreka, H.; Nemeti, I.
1
1981
On systems of varieties definable by schemes of equations. Zbl 0387.03025
Andréka, H.; Németi, I.
2
1980
Quasi equational logic of partial algebras. Zbl 0491.08008
Andreka, Hajnal; Burmeister, Peter; Nemeti, Istvan
1
1980
Completeness problems in verification of programs and program schemes. Zbl 0411.03017
Andreka, H.; Nemeti, I.; Sain, I.
14
1979
Injectivity in categories to represent all first order formulas. I. Zbl 0497.03029
Andreka, Hajnal; Nemeti, Istvan
8
1979
Formulas and ultraproducts in categories. Zbl 0531.03042
Andréka, Hajnalka; Németi, István
8
1979
...and 12 more Documents
all top 5

Cited by 478 Authors

39 Andréka, Hajnal
37 Németi, István
27 Sayed Ahmed, Tarek
19 van Benthem, Johan F. A. K.
16 Hirsch, Robin
16 Hodkinson, Ian Martin
15 Bredikhin, Dmitriĭ Aleksandrovich
15 Székely, Gergely
14 Ferenczi, Miklós
14 Mikulás, Szabolcs
12 Sain, Ildikó
11 Maddux, Roger D.
10 Givant, Steven R.
10 Madarász, Judit X.
9 Düntsch, Ivo
7 Pieris, Andreas
7 Stannett, Mike
7 ten Cate, Balder David
6 Jackson, Marcel G.
6 Pasztor, Ana
5 Alm, Jeremy F.
5 Gottlob, Georg
5 Jipsen, Peter
5 Khaled, Mohamed
5 Kuznetsov, Stepan L’vovich
5 Otto, Martin
5 Venema, Yde
5 Wolter, Frank
4 Bárány, Vince
4 Barrett, Thomas William
4 Diaconescu, Răzvan
4 Friend, Michèle
4 Goldblatt, Robert Ian
4 Halvorson, Hans
4 Kieroński, Emanuel
4 Leinders, Dirk
4 Liu, Fenrong
4 Makowsky, Johann-Andreas
4 Marek, V. Wiktor
4 Monk, James Donald
4 Motik, Boris
4 Pous, Damien
4 Salibra, Antonino
4 Van den Bussche, Jan
4 Zakharyaschev, Michael Viktorovich
3 Benedikt, Michael A.
3 Bergstra, Jan A.
3 Blair, Howard A.
3 Bonacina, Maria Paola
3 Doumane, Amina
3 Ésik, Zoltán
3 Grädel, Erich
3 Guitart, René
3 Hustadt, Ullrich
3 Jarzembski, Grzegorz
3 Ketland, Jeffrey
3 Marx, Maarten
3 Orłowska, Ewa S.
3 Pacuit, Eric
3 Padmanabha, Anantha
3 Pinus, Aleksandr Georgievich
3 Pratt-Hartmann, Ian
3 Ramanujam, R.
3 Remmel, Jeffrey Brian
3 Rodríguez-Artalejo, Mario
3 Schmidt, Renate A.
3 Simon, András
3 Tucker, John V.
3 Vályi, Sándor
3 Viana, Petrucio
3 Wang, Yanjing
3 Wirsing, Martin
2 Abramsky, Samson
2 Alechina, Natasha
2 Antonelli, Gian Aldo
2 Areces, Carlos
2 Bednarczyk, Bartosz
2 Benda, Thomas
2 Berger, Gerald
2 Bezhanishvili, Nick
2 Blumensath, Achim
2 Bodirsky, Manuel
2 Bojańczyk, Mikołaj
2 Broy, Manfred
2 Brunet, Paul
2 Burmeister, Peter
2 Cenzer, Douglas
2 Cristiá, Maximiliano
2 Csirmaz, László
2 de Freitas, Renata P.
2 de Nivelle, Hans
2 de Rijke, Maarten
2 Durand-Lose, Jérôme Olivier
2 Dzik, Wojciech
2 Fernández Duque, David
2 Fontaine, Pascal
2 Girard, Patrick R.
2 Guessarian, Irène
2 Guttmann, Walter
2 Heymans, Stijn
...and 378 more Authors
all top 5

Cited in 90 Serials

49 Algebra Universalis
42 Theoretical Computer Science
32 The Journal of Symbolic Logic
25 Annals of Pure and Applied Logic
21 Studia Logica
21 Synthese
17 The Review of Symbolic Logic
14 Journal of Logic, Language and Information
13 Mathematical Logic Quarterly (MLQ)
12 Artificial Intelligence
12 Journal of Philosophical Logic
9 Information and Computation
9 Journal of Automated Reasoning
9 Journal of Logical and Algebraic Methods in Programming
8 Notre Dame Journal of Formal Logic
8 Annals of Mathematics and Artificial Intelligence
6 Information Processing Letters
6 Periodica Mathematica Hungarica
6 Journal of Applied Non-Classical Logics
6 Natural Computing
6 Logica Universalis
5 Algebra and Logic
5 Cahiers de Topologie et Géométrie Différentielle Catégoriques
5 Journal of Computer and System Sciences
5 Transactions of the American Mathematical Society
5 Bulletin of the Section of Logic
4 Journal of Pure and Applied Algebra
4 Journal of Symbolic Computation
4 The Bulletin of Symbolic Logic
4 ACM Transactions on Computational Logic
4 Journal of Applied Logic
3 Acta Informatica
3 Applied Mathematics and Computation
3 Journal of Algebra
3 Erkenntnis
2 Proceedings of the American Mathematical Society
2 Quaestiones Mathematicae
2 Semigroup Forum
2 International Journal of Approximate Reasoning
2 Russian Mathematics
2 The Journal of Artificial Intelligence Research (JAIR)
2 Theory and Practice of Logic Programming
2 Chebyshevskiĭ Sbornik
2 Proceedings of the Steklov Institute of Mathematics
1 Modern Physics Letters A
1 Classical and Quantum Gravity
1 Communications in Algebra
1 Discrete Applied Mathematics
1 Discrete Mathematics
1 General Relativity and Gravitation
1 Indian Journal of Pure & Applied Mathematics
1 International Journal of Theoretical Physics
1 Israel Journal of Mathematics
1 Mathematical Notes
1 Reports on Mathematical Physics
1 The Mathematical Intelligencer
1 Advances in Mathematics
1 Fuzzy Sets and Systems
1 Journal of Soviet Mathematics
1 Rendiconti dell’Istituto di Matematica dell’Università di Trieste
1 SIAM Journal on Computing
1 Siberian Mathematical Journal
1 Science of Computer Programming
1 Acta Mathematica Hungarica
1 Annals of Operations Research
1 International Journal of Algebra and Computation
1 Artificial Intelligence Review
1 Aequationes Mathematicae
1 European Journal of Operational Research
1 Applied Categorical Structures
1 Journal of the Egyptian Mathematical Society
1 Journal of the ACM
1 ZAMM. Zeitschrift für Angewandte Mathematik und Mechanik
1 Proceedings of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences
1 RAIRO. Theoretical Informatics and Applications
1 Foundations of Science
1 Fundamenta Informaticae
1 Lobachevskii Journal of Mathematics
1 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
1 The Journal of Logic and Algebraic Programming
1 Logic and Logical Philosophy
1 Cahiers de Topologie et Géométrie Différentielle Catégoriques
1 Foundations of Physics
1 BIT. Nordisk Tidskrift for Informationsbehandling
1 Logical Methods in Computer Science
1 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics
1 European Journal for Philosophy of Science
1 Frontiers of Computer Science
1 Logicheskie Issledovaniya
1 Bollettino dell’Unione Matematica Italiana

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.