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.
- Andreka, H., Madarasz, J. X. and Nemeti, I.: Logical
axiomatizations of space-time. Samples from the literature (32pp)
- Andreka,
H. Madarasz, J. X. and Nemeti, I.: Logical analysis of relativity theories
(30pp)
- Madarasz,
J. X. Nemeti, I. and Toke, Cs.: Generalizing the logic-approach to
space-time towards general relativity: first steps (43pp)
- 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.) (156pp)
- Andréka,
H. Madarász, J.X. and Németi, I.: On the logical structure
of relativity theories, ps.gz version (some parts of this draft, 1312pp)
- Abstract
- Gzipped
Postscript version of Part I
(1-156pp, 542KB)
- Gzipped
PostScript version of Part II (157-421pp, 698KB)
- Gzipped
PostScript version of Part III (422-703pp, 748KB)
- Gzipped
PostScript version of Part IV (704-769pp, 228KB)
- Gzipped
PostScript version of Part V1 (770-773pp, 730KB)
- Gzipped
PostScript version of Part V2 (774-825pp, 632KB)
- Gzipped
PostScript version of Part V3 (826-865pp, 786KB)
- Gzipped
PostScript version of Part V4 (866-889pp, 423KB)
- Gzipped
PostScript version of Part V5 (890-1025pp, 626KB)
- Gzipped
PostScript version of Part V6 (1026-1205pp, 1.23 MB)
- Gzipped
PostScript version of Part V7 (1206-1211pp, 475KB)
- Gzipped
PostScript version of Part VI (1212-1252pp, 153KB)
- Gzipped
PostScript version of Part VII (1253-1312pp, 171KB)
- Andréka,
H. Madarász, J.X. and Németi, I.: On the logical structure
of relativity theories, pdf version (some parts of this draft, 1312pp)
- Abstract
- Pdf
version of Part I (1-156pp, 2.2M)
- Pdf
version of Part II (157-421pp, 3.5M)
- Pdf
version of Part III (422-703pp, 2.8M)
- Pdf
version of Part IV (704-769pp, 0.6M)
- Pdf
version of Part V1 (770-773pp, 1.8M)
- Pdf
version of Part V2 (774-825pp, 1.7M)
- Pdf
version of Part V3 (826-865pp, 2M)
- Pdf
version of Part V4 (866-889pp, 1.3M)
- Pdf
version of Part V5 (890-1025pp, 2.3M)
- Pdf
version of Part V6 (1026-1205pp, 4M)
- Pdf
version of Part V7 (1206-1211pp, 1.6M)
- Pdf
version of Part VI (1212-1252pp, 0.3M)
- Pdf
version of Part VII (1253-1312pp, 0.5M)
- Hajnal Andréka, Judit X. Madarász,
István Németi: Logical Analysis of Special Relativity Theory
(23pp)
- Judit
Madarász: Logic and Relativity (in the light of definability
theory), PhD-dissertation (444pp)
- Hajnal Andréka: A
finite axiomatization of locally square cylindric-relativized set
algebras.
- 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 and István Németi: Simple proof for
decidability of the universal theory of cylindric set algebras of
dimension 2
- 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
- Etesi,
G. and Németi, I.: Non-Turing computations via Malament-Hogarth
space-times
- 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
- Madarász,
J. X. and Németi, I.: Free Boolean algebras with closure operators
and a conjecture of Henkin, Monk, and Tarski
- 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: Topics in algebraic logic (on neat reducts of algebras of
logics)
- 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
size=2 width="100%" align=center>