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