Please note that this page (and the ftp site of
the AL dept.)
contains only a subset of the papers that are available
electronically. If you know
of a paper by a member of the dept., and would like to see it here,
contact him/her.
If you have problems retrieving a paper listed here, please
let me know.
- Andréka, H. Madarász, J.X. and Németi, I.:
Introduction to logical analysis of relativity theories (This is the first part of the next title.)
- Andréka, H. Madarász, J.X. and Németi, I.:
On the logical structure of relativity theories
- Hajnal Andréka, Judit X. Madarász, István
Németi: Logical Analysis of Special Relativity Theory
- Hajnal Andréka:
A finite axiomatization of locally square cylindric-relativized set
algebras. Draft version.
- Hajnal Andréka:
Complexity of equations valid in algebras of relations I--II
- Hajnal Andréka:
The equational theories of representable positive cylindric and
relation algebras are decidable
- H. Andréka, I. Hodkinson, I. Németi:
Finite algebras of relations are representable on finite sets
- Hajnal Andréka, Steve Givant, Szabolcs Mikulás, István Németi and András Simon:
Notions of density that imply representability in Algebraic Logic
- Hajnal Andréka, Ágnes Kurucz, István Németi and Ildikó Sain:
Applying Algebraic Logic; a General Methodology
-
Andréka, H. Madarász, J. Németi, I. Sági, G. and Sain, I.:
Analyzing the logical structure of relativity theory via model theoretic
logic. (Preliminary draft version, comments are welcome.) (Here is a more recent and more complete version.)
- Hajnal Andréka, István Németi and Ildikó Sain:
Algebraic logic
- Andréka, H., Ryan,M., and Schobbens, P-Y.:
Operators and laws for combining preference relations
- Eva Hoogland:
Algebraic characterizations of two Beth definability properties
- Ágnes Kurucz:
Decision problems in algebraic logic
- Ágnes Kurucz and István Németi:
Representability of Pairing Relation Algebras depends on your Ontology
- Judit Madarász:
Interpolation in Algebraizable Logics;
Semantics for Non-normal Multi-modal Logic
- István Németi:
Algebraizations of quantifier logics, an introductory overview
- István Németi and Gábor Sági:
On the equational theory of representable polyadic equality algebras.
- István Németi and Gábor Sági:
On the equational theory of representable polyadic equality
algebras. (Extended abstract.)
- István Németi, Ildikó Sain:
Fork Algebras in Usual and in Non-well-founded Set Theories
(an Overview)
- István Németi and András Simon:
Relation algebras from cylindric and polyadic algebras
- Gábor Sági:
Non-computability of the consequences of the axioms of the
omega-dimensional polyadic algebras.
- Ildikó Sain:
On the search for a finitizable algebraization of first order logic
- Ildikó Sain, Viktor Gyuris:
Finite Schematizable Algebraic Logic
- Tarek Sayed Ahmed:
The class of neat reducts is not elementary
- Tarek Sayed Ahmed:
On amalgamation of reducts of polyadic algebras
- András Simon:
Non-representable algebras of relations