Andras Simon
Andras Simon
Associate Professor, Department of Algebra, Tehnical University, Budapest
Verified email at math.bme.hu
Title
Cited by
Cited by
Year
Notions of density that imply representability in algebraic logic
H Andréka, S Givant, S Mikulás, I Németi, A Simon
Annals of Pure and Applied logic 91 (2-3), 93-190, 1998
431998
Decidable and undecidable logics with a binary modality
I Németi, I Sain, A Simon
Journal of Logic, Language and Information 4 (3), 191-206, 1995
351995
Complexity of equational theory of relational algebras with standard projection elements
S Mikulás, I Sain, A Simon
Synthese 192 (7), 2159-2182, 2015
302015
Complexity of equational theory of relational algebras with standard projection elements
S Mikulás, I Sain, A Simon
Synthese 192 (7), 2159-2182, 2015
302015
Non-representable algebras of relations
A Simon
PhD Diss., Budapest, 1997
291997
What the finitization problem is not
A Simon
Algebraic Methods in Logic and in Computer Science 28, 95, 1993
291993
Relation algebras from cylindric and polyadic algebras
I Nemeti, A Simon
Logic Journal of the IGPL 5 (4), 575-588, 1997
211997
Undecidable Varieties of Semilattice—ordered Semigroups, of Boolean Algebras with Operators, and logics extending Lambek Calculus
Á Kurucz, I Németi, I Sain, A Simon
Logic Journal of the IGPL 1 (1), 91-98, 1993
201993
Connections between quasi-projective relation algebras and cylindric algebras
A Simon
Algebra universalis 56 (3), 263-301, 2007
182007
Causes and remedies for undecidability in arrow logics and in multi-modal logics
H Andréka, A Kurucz, I Németi, I Sain, A Simon
Arrow logic and multi-modal logic, 63-99, 1997
141997
The complexity of equational theory of relation algebras with projection elements
I Sain, A Simon
Preprint, Math. Inst. Hungar. Acad. Sci., Budapest, 1993
131993
The k-variable property is stronger than H-dimension k
I Hodkinson, A Simon
Journal of Philosophical Logic, 81-101, 1997
111997
Exactly which logics touched by the dynamic trend are decidable
H Andréka, Á Kurucz, I Németi, I Sain, A Simon
this volume, 1994
111994
Finite schema completeness for typeless logic and representable cylindric algebras
A Simon
Algebraic logic, 665-670, 1991
111991
Weakly higher order cylindric algebras and finite axiomatization of the representables
I Németi, A Simon
Studia Logica 91 (1), 53-62, 2009
82009
Undecidability of the equational theory of some classes of residuated Boolean algebras with operators
I Németi, I Sain, A Simon
Logic Journal of the IGPL 3 (1), 93-105, 1995
51995
Arrow logic does not have deduction theorem
A Simon
Proceedings of Logic at Work Conference, Amsterdam, 1992
51992
Persistent properties and an application to algebras of logic
H Andréka, S Givant, I Németi, A Simon
algebra universalis 38 (2), 141-149, 1997
11997
Representing all Cylindric Algebras by Twisting On a Problem of Henkin
A Simon
Cylindric-like Algebras and Algebraic Logic, 163-182, 2013
2013
Undecidable Varieties of Semilattice? ordered Semigroups, of Boolean Algebras with Operators, and logics extending Lambek Calculus
I N METI, I SAIN, A SIMON
Logic Journal of IGPL 1 (1), 91-98, 1993
1993
The system can't perform the operation now. Try again later.
Articles 1–20