| Publication | Date of Publication | Type |
|---|
Logic families
| 2023-11-01 | Paper |
A note on the submodel preservation property in fragments of first-order logic
| 2023-03-23 | Paper |
Testing definitional equivalence of theories via automorphism groups
| 2022-11-25 | Paper |
Universal algebraic logic. Dedicated to the unity of science
Studies in Universal Logic | 2022-11-08 | Paper |
Complexity in the interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime
Annals of Pure and Applied Logic | 2022-04-01 | Paper |
Complexity in the interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime
| 2021-12-30 | Paper |
TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY
Journal of Symbolic Logic | 2021-10-27 | Paper |
Nonrepresentable relation algebras from groups
The Review of Symbolic Logic | 2021-05-11 | Paper |
Two-variable logic has weak, but not strong, Beth definability
| 2020-10-02 | Paper |
Varieties generated by completions
Algebra Universalis | 2019-07-10 | Paper |
A representation theorem for measurable relation algebras with cyclic groups
Transactions of the American Mathematical Society | 2019-05-06 | Paper |
The variety of coset relation algebras
Journal of Symbolic Logic | 2019-01-04 | Paper |
Term algebras of elementarily equivalent atom structures
Algebra Universalis | 2018-10-30 | Paper |
A representation theorem for measurable relation algebras
Annals of Pure and Applied Logic | 2018-10-04 | Paper |
Coset relation algebras
Algebra Universalis | 2018-07-16 | Paper |
Coset relation algebras
| 2018-04-01 | Paper |
How many varieties of cylindric algebras are there
Transactions of the American Mathematical Society | 2017-10-12 | Paper |
Simple relation algebras
| 2017-09-28 | Paper |
On Tarski's axiomatic foundations of the calculus of relations
Journal of Symbolic Logic | 2017-09-27 | Paper |
Finite-Variable Logics Do Not Have Weak Beth Definability Property
Studies in Universal Logic | 2017-08-28 | Paper |
On a new semantics for first-order predicate logic
Journal of Philosophical Logic | 2017-07-19 | Paper |
A note on `Einstein's special relativity beyond the speed of light by James M. Hill and Barry J. Cox'
Proceedings of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences | 2016-11-02 | Paper |
Ultraproducts of continuous posets
Algebra Universalis | 2016-10-26 | Paper |
Free algebras of discriminator varieties generated by finite algebras are atomic
| 2016-02-21 | Paper |
Changing a Semantics: Opportunism or Courage?
Studies in Universal Logic | 2015-11-27 | Paper |
Comparing theories: the dynamics of changing vocabulary
Outstanding Contributions to Logic | 2015-05-11 | Paper |
Faster than light motion does not imply time travel
Classical and Quantum Gravity | 2014-06-19 | Paper |
A non representable infinite dimensional quasi-polyadic equality algebra with a representable cylindric reduct
Studia Scientiarum Mathematicarum Hungarica | 2014-05-05 | Paper |
A logic road from special relativity to general relativity
Synthese | 2013-11-25 | Paper |
Reducing first-order logic to \(\mathsf{Df}_3\), free algebras
| 2013-10-16 | Paper |
An Axiom System for General Relativity Complete with respect to Lorentzian Manifolds
| 2013-10-05 | Paper |
Closed timelike curves in relativistic computation
Parallel Processing Letters | 2013-08-16 | Paper |
Decidability, undecidability, and Gödel's incompleteness in relativity theories
Parallel Processing Letters | 2013-08-16 | Paper |
Functionally dense relation algebras
Algebra Universalis | 2012-11-27 | Paper |
Residuated Kleene algebras
Logic and Program Semantics | 2012-07-16 | Paper |
What are the numbers in which spacetime?
| 2012-04-05 | Paper |
The equational theory of Kleene lattices
Theoretical Computer Science | 2012-01-04 | Paper |
Axiomatizability of positive algebras of binary relations
Algebra Universalis | 2011-11-23 | Paper |
Formalizing set theory in weak logics, searching for the weakest logic with G\"odel's incompleteness property
| 2011-11-03 | Paper |
On Logical Analysis of Relativity Theories
| 2011-05-04 | Paper |
Vienna Circle and Logical Analysis of Relativity Theory
| 2011-01-31 | Paper |
Epimorphisms in cylindric algebras and definability in finite variable logic
Algebra Universalis | 2010-01-04 | Paper |
General relativistic hypercomputing and foundation of mathematics
Natural Computing | 2009-10-19 | Paper |
A twist in the geometry of rotating black holes: seeking the cause of acausality
General Relativity and Gravitation | 2008-12-16 | Paper |
Axiomatizing relativistic dynamics without conservation postulates
Studia Logica | 2008-09-02 | Paper |
Omitting types for finite variable fragments and complete representations of algebras
Journal of Symbolic Logic | 2008-05-08 | Paper |
Logical Approaches to Computational Barriers
Lecture Notes in Computer Science | 2007-04-30 | Paper |
SOFSEM 2006: Theory and Practice of Computer Science
Lecture Notes in Computer Science | 2006-11-14 | Paper |
Logical axiomatizations of space-time. Samples from the literature
| 2006-08-15 | Paper |
Logical analysis of relativity theories
| 2006-01-24 | Paper |
Mutual definability does not imply definitional equivalence, a simple example
MLQ | 2005-11-15 | Paper |
scientific article; zbMATH DE number 1852925 (Why is no real title available?)
| 2003-01-29 | Paper |
A FINITE AXIOMATIZATION OF LOCALLY SQUARE CYLINDRIC-RELATIVIZED SET ALGEBRAS
Studia Scientiarum Mathematicarum Hungarica | 2002-11-03 | Paper |
Groups and Algebras of Binary Relations
The Bulletin of Symbolic Logic | 2002-07-24 | Paper |
Operators and Laws for Combining Preference Relations
Journal Of Logic And Computation | 2002-01-01 | Paper |
scientific article; zbMATH DE number 1533634 (Why is no real title available?)
| 2000-11-20 | Paper |
Notions of density that imply representability in algebraic logic
Annals of Pure and Applied Logic | 2000-02-15 | Paper |
Finite algebras of relations are representable on finite sets
Journal of Symbolic Logic | 1999-11-29 | Paper |
Persistent properties and an application to algebras of logic
Algebra Universalis | 1998-11-23 | Paper |
Modal languages and bounded fragments of predicate logic
Journal of Philosophical Logic | 1998-11-18 | Paper |
Complexity of equations valid in algebras of relations. I: Strong non-finitizability
Annals of Pure and Applied Logic | 1998-11-01 | Paper |
Complexity of equations valid in algebras of relations. II: Finite axiomatizations
Annals of Pure and Applied Logic | 1998-11-01 | Paper |
Relativised quantification: Some canonical varieties of sequence-set algebras
Journal of Symbolic Logic | 1998-06-02 | Paper |
Decision problems for equational theories of relation algebras
Memoirs of the American Mathematical Society | 1997-12-07 | Paper |
scientific article; zbMATH DE number 1047504 (Why is no real title available?)
| 1997-11-05 | Paper |
scientific article; zbMATH DE number 868084 (Why is no real title available?)
| 1996-08-22 | Paper |
Expressibility of properties of relations
Journal of Symbolic Logic | 1996-07-24 | Paper |
scientific article; zbMATH DE number 834561 (Why is no real title available?)
| 1996-07-01 | Paper |
Perfect extensions and derived algebras
Journal of Symbolic Logic | 1996-06-19 | Paper |
Axiomatization of identity-free equations valid in relation algebras
Algebra Universalis | 1996-06-02 | Paper |
Representations for small relation algebras
Notre Dame Journal of Formal Logic | 1995-11-26 | Paper |
The equational theory of union-free algebras of relations
Algebra Universalis | 1995-07-31 | Paper |
scientific article; zbMATH DE number 753782 (Why is no real title available?)
| 1995-06-11 | Paper |
Binary Relations and Permutation Groups
Mathematical Logic Quarterly | 1995-06-06 | Paper |
Weakly representable but not representable relation algebras
Algebra Universalis | 1995-05-16 | Paper |
Connections between axioms of set theory and basic theorems of universal algebra
Journal of Symbolic Logic | 1995-03-15 | Paper |
scientific article; zbMATH DE number 638616 (Why is no real title available?)
| 1994-09-13 | Paper |
The lattice of varieties of representable relation algebras
Journal of Symbolic Logic | 1994-08-15 | Paper |
Lambek calculus and its relational semantics: Completeness and incompleteness
Journal of Logic, Language and Information | 1994-03-03 | Paper |
scientific article; zbMATH DE number 475232 (Why is no real title available?)
| 1994-01-13 | Paper |
A nonpermutational integral relation algebra
Michigan Mathematical Journal | 1993-06-29 | Paper |
scientific article; zbMATH DE number 67038 (Why is no real title available?)
| 1992-09-27 | Paper |
Free algebras in discriminator varieties
Algebra Universalis | 1992-06-27 | Paper |
scientific article; zbMATH DE number 17797 (Why is no real title available?)
| 1992-06-26 | Paper |
One variable is not enough for defining relation algebras, but two are
Algebra Universalis | 1992-06-25 | Paper |
On the strength of temporal proofs
Theoretical Computer Science | 1991-01-01 | Paper |
Representations of distributive lattice-ordered semigroups with binary relations
Algebra Universalis | 1991-01-01 | Paper |
Splitting in Relation Algebras
Proceedings of the American Mathematical Society | 1991-01-01 | Paper |
On taking subalgebras of relativized relation algebras
Algebra Universalis | 1988-01-01 | Paper |
Boolean Reducts of Relation and Cylindric Algebras and the Cube Problem
Proceedings of the American Mathematical Society | 1987-01-01 | Paper |
A unifying theorem for algebraic semantics and dynamic logics
Information and Computation | 1987-01-01 | Paper |
On the number of generators of cylindric algebras
Journal of Symbolic Logic | 1985-01-01 | Paper |
scientific article; zbMATH DE number 3906563 (Why is no real title available?)
| 1985-01-01 | Paper |
Relative epis need not be surjective
Algebra Universalis | 1985-01-01 | Paper |
scientific article; zbMATH DE number 3949705 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3874591 (Why is no real title available?)
| 1984-01-01 | Paper |
scientific article; zbMATH DE number 3820046 (Why is no real title available?)
| 1983-01-01 | Paper |
scientific article; zbMATH DE number 3839296 (Why is no real title available?)
| 1983-01-01 | Paper |
scientific article; zbMATH DE number 3819805 (Why is no real title available?)
| 1983-01-01 | Paper |
scientific article; zbMATH DE number 3803706 (Why is no real title available?)
| 1982-01-01 | Paper |
A complete logic for reasoning about programs via nonstandard model theory. II
Theoretical Computer Science | 1982-01-01 | Paper |
A complete logic for reasoning about programs via nonstandard model theory. I
Theoretical Computer Science | 1982-01-01 | Paper |
scientific article; zbMATH DE number 3769603 (Why is no real title available?)
| 1982-01-01 | Paper |
scientific article; zbMATH DE number 3861152 (Why is no real title available?)
| 1981-01-01 | Paper |
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
Lecture Notes in Mathematics | 1981-01-01 | Paper |
scientific article; zbMATH DE number 3755858 (Why is no real title available?)
| 1981-01-01 | Paper |
scientific article; zbMATH DE number 3853166 (Why is no real title available?)
| 1981-01-01 | Paper |
scientific article; zbMATH DE number 3791620 (Why is no real title available?)
| 1981-01-01 | Paper |
scientific article; zbMATH DE number 3759554 (Why is no real title available?)
| 1981-01-01 | Paper |
Similarity types, pseudosimple algebras, and congruence representations of chains
Algebra Universalis | 1981-01-01 | Paper |
HSP K is equational class, without the axiom of choice
Algebra Universalis | 1981-01-01 | Paper |
Dimension-complemented and locally finite dimensional cylindric algebras are elementarily equivalent
Algebra Universalis | 1981-01-01 | Paper |
scientific article; zbMATH DE number 3708408 (Why is no real title available?)
| 1980-01-01 | Paper |
scientific article; zbMATH DE number 3737062 (Why is no real title available?)
| 1980-01-01 | Paper |
On systems of varieties definable by schemes of equations
Algebra Universalis | 1980-01-01 | Paper |
scientific article; zbMATH DE number 3771685 (Why is no real title available?)
| 1980-01-01 | Paper |
INJECTIVITY IN CATEGORIES TO REPRESENT ALL FIRST ORDER FORMULAS, I
Demonstratio Mathematica | 1979-01-01 | Paper |
scientific article; zbMATH DE number 3697114 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3636238 (Why is no real title available?)
| 1979-01-01 | Paper |
INJECTIVITY IN CATEGORIES TO REPRESENT ALL FIRST ORDER FORMULAS, I
Demonstratio Mathematica | 1979-01-01 | Paper |
scientific article; zbMATH DE number 3637823 (Why is no real title available?)
| 1979-01-01 | Paper |
Formulas and ultraproducts in categories
Beiträge zur Algebra und Geometrie | 1979-01-01 | Paper |
scientific article; zbMATH DE number 3650541 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3688692 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3654115 (Why is no real title available?)
| 1978-01-01 | Paper |
scientific article; zbMATH DE number 3675888 (Why is no real title available?)
| 1978-01-01 | Paper |
scientific article; zbMATH DE number 3632451 (Why is no real title available?)
| 1978-01-01 | Paper |
scientific article; zbMATH DE number 3782373 (Why is no real title available?)
| 1978-01-01 | Paper |
scientific article; zbMATH DE number 3790408 (Why is no real title available?)
| 1978-01-01 | Paper |
scientific article; zbMATH DE number 3570537 (Why is no real title available?)
| 1977-01-01 | Paper |
On universal algebraic constructions of logics
Studia Logica | 1977-01-01 | Paper |
scientific article; zbMATH DE number 3577259 (Why is no real title available?)
| 1977-01-01 | Paper |
scientific article; zbMATH DE number 3529839 (Why is no real title available?)
| 1976-01-01 | Paper |
scientific article; zbMATH DE number 3425674 (Why is no real title available?)
| 1975-01-01 | Paper |
scientific article; zbMATH DE number 3679774 (Why is no real title available?)
| 1975-01-01 | Paper |
scientific article; zbMATH DE number 3604888 (Why is no real title available?)
| 1975-01-01 | Paper |
A simple, purely algebraic proof of the completeness of some first order logics
Algebra Universalis | 1975-01-01 | Paper |
scientific article; zbMATH DE number 3463626 (Why is no real title available?)
| 1974-01-01 | Paper |
Sufficient and Necessary Condition for the Completeness of a Calculus
Mathematical Logic Quarterly | 1974-01-01 | Paper |
scientific article; zbMATH DE number 3487017 (Why is no real title available?)
| 1974-01-01 | Paper |
scientific article; zbMATH DE number 3495612 (Why is no real title available?)
| 1974-01-01 | Paper |
