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 | 2022-11-08 | Paper |
Complexity in the interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime | 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 | 2021-10-27 | Paper |
NONREPRESENTABLE RELATION ALGEBRAS FROM GROUPS | 2021-05-11 | Paper |
Two-variable logic has weak, but not strong, Beth definability | 2020-10-02 | Paper |
Atoms in infinite dimensional free sequence-set algebras | 2019-10-09 | Paper |
Varieties generated by completions | 2019-07-10 | Paper |
Term algebras of elementarily equivalent atom structures | 2018-10-30 | Paper |
How many varieties of cylindric algebras are there | 2017-10-12 | Paper |
ON TARSKI’S AXIOMATIC FOUNDATIONS OF THE CALCULUS OF RELATIONS | 2017-09-27 | Paper |
Finite-Variable Logics Do Not Have Weak Beth Definability Property | 2017-08-28 | Paper |
On a new semantics for first-order predicate 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’ | 2016-11-02 | Paper |
Ultraproducts of continuous posets | 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? | 2015-11-27 | Paper |
Using Isabelle/HOL to verify first-order relativity theory | 2015-06-23 | Paper |
Comparing Theories: The Dynamics of Changing Vocabulary | 2015-05-11 | Paper |
Faster than light motion does not imply time travel | 2014-06-19 | Paper |
A non representable infinite dimensional quasi-polyadic equality algebra with a representable cylindric reduct | 2014-05-05 | Paper |
A logic road from special relativity to general relativity | 2013-11-25 | Paper |
https://portal.mardi4nfdi.de/entity/Q2853707 | 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 | 2013-08-16 | Paper |
DECIDABILITY, UNDECIDABILITY, AND GÖDEL'S INCOMPLETENESS IN RELATIVITY THEORIES | 2013-08-16 | Paper |
Residuated Kleene Algebras | 2012-07-16 | Paper |
What are the numbers in which spacetime? | 2012-04-05 | Paper |
The equational theory of Kleene lattices | 2012-01-04 | 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 | 2010-01-04 | Paper |
General relativistic hypercomputing and foundation of mathematics | 2009-10-19 | Paper |
Weakly higher order cylindric algebras and finite axiomatization of the representables | 2009-03-17 | Paper |
A twist in the geometry of rotating black holes: seeking the cause of acausality | 2008-12-16 | Paper |
Axiomatizing relativistic dynamics without conservation postulates | 2008-09-02 | Paper |
Omitting types for finite variable fragments and complete representations of algebras | 2008-05-08 | Paper |
A Logical Analysis of the Time-Warp Effect of General Relativity | 2007-09-16 | Paper |
https://portal.mardi4nfdi.de/entity/Q3447200 | 2007-06-28 | Paper |
Logical Approaches to Computational Barriers | 2007-04-30 | Paper |
SOFSEM 2006: Theory and Practice of Computer Science | 2006-11-14 | Paper |
Twin paradox and the logical foundation of relativity theory | 2006-10-04 | Paper |
https://portal.mardi4nfdi.de/entity/Q5482812 | 2006-08-15 | Paper |
Relativistic computers and the Turing barrier | 2006-08-04 | Paper |
https://portal.mardi4nfdi.de/entity/Q3367316 | 2006-01-24 | Paper |
https://portal.mardi4nfdi.de/entity/Q3367329 | 2006-01-24 | Paper |
Mutual definability does not imply definitional equivalence, a simple example | 2005-11-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q4789455 | 2003-01-29 | Paper |
Free Boolean algebras with closure operators and a conjecture of Henkin, Monk, and Tarski | 2002-10-20 | Paper |
On neat reducts of algebras of logic | 2002-05-22 | Paper |
Non-Turing computations via Malament--Hogarth space-times | 2002-03-26 | Paper |
https://portal.mardi4nfdi.de/entity/Q2708315 | 2001-04-17 | Paper |
On the equational theory of representable polyadic equality algebras | 2001-01-29 | Paper |
Notions of density that imply representability in algebraic logic | 2000-02-15 | Paper |
Finite algebras of relations are representable on finite sets | 1999-11-29 | Paper |
https://portal.mardi4nfdi.de/entity/Q4250071 | 1999-10-28 | Paper |
Persistent properties and an application to algebras of logic | 1998-11-23 | Paper |
Modal languages and bounded fragments of predicate logic | 1998-11-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q4390777 | 1998-10-19 | Paper |
Relativised quantification: Some canonical varieties of sequence-set algebras | 1998-06-02 | Paper |
Relation algebras from cylindric and polyadic algebras | 1998-05-10 | Paper |
On the equational theory of representable polyadic equality algebras (extended abstract) | 1998-04-29 | Paper |
https://portal.mardi4nfdi.de/entity/Q4349288 | 1997-12-22 | Paper |
Decision problems for equational theories of relation algebras | 1997-12-07 | Paper |
Strong representability of fork algebras, a set theoretic foundation | 1997-11-21 | Paper |
https://portal.mardi4nfdi.de/entity/Q4349281 | 1997-11-05 | Paper |
https://portal.mardi4nfdi.de/entity/Q4349280 | 1997-08-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q4887108 | 1997-06-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q4873975 | 1996-12-05 | Paper |
Taming logic | 1996-10-08 | Paper |
https://portal.mardi4nfdi.de/entity/Q4873967 | 1996-08-22 | Paper |
Expressibility of properties of relations | 1996-07-24 | Paper |
https://portal.mardi4nfdi.de/entity/Q4860647 | 1996-07-01 | Paper |
Decidable and undecidable logics with a binary modality | 1996-07-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4873974 | 1996-06-23 | Paper |
Perfect extensions and derived algebras | 1996-06-19 | Paper |
Axiomatization of identity-free equations valid in relation algebras | 1996-06-02 | Paper |
https://portal.mardi4nfdi.de/entity/Q4870556 | 1996-05-19 | Paper |
https://portal.mardi4nfdi.de/entity/Q4870570 | 1996-03-26 | Paper |
Undecidability of the Equational Theory of Some Classes of Residuated Boolean Algebras with Operators | 1996-01-30 | Paper |
https://portal.mardi4nfdi.de/entity/Q4698615 | 1995-06-11 | Paper |
Binary Relations and Permutation Groups | 1995-06-06 | Paper |
Connections between axioms of set theory and basic theorems of universal algebra | 1995-03-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q4305489 | 1994-09-13 | Paper |
The lattice of varieties of representable relation algebras | 1994-08-15 | Paper |
Undecidable Varieties of Semilattice—ordered Semigroups, of Boolean Algebras with Operators, and logics extending Lambek Calculus | 1994-05-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q4273473 | 1994-01-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q4273476 | 1994-01-13 | Paper |
A nonpermutational integral relation algebra | 1993-06-29 | Paper |
Algebraization of quantifier logics, an introductory overview | 1992-09-27 | Paper |
https://portal.mardi4nfdi.de/entity/Q4011726 | 1992-09-27 | Paper |
Free algebras in discriminator varieties | 1992-06-27 | Paper |
https://portal.mardi4nfdi.de/entity/Q3975138 | 1992-06-26 | Paper |
Splitting in Relation Algebras | 1991-01-01 | Paper |
On the strength of temporal proofs | 1991-01-01 | Paper |
On varieties of cylindric algebras with applications to logic | 1987-01-01 | Paper |
A unifying theorem for algebraic semantics and dynamic logics | 1987-01-01 | Paper |
Decidability of Relation Algebras with Weakened Associativity | 1987-01-01 | Paper |
A non-representable cylindric algebra with pairing functions | 1986-01-01 | Paper |
On the number of generators of cylindric algebras | 1985-01-01 | Paper |
Cylindric-relativised set algebras have strong amalgamation | 1985-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3684178 | 1985-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3719823 | 1985-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3340129 | 1984-01-01 | Paper |
The class of neat-reducts of cylindric algebras is not a variety but is closed w.r.t. HP | 1983-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3666908 | 1983-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3667088 | 1983-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3668824 | 1983-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4748322 | 1982-01-01 | Paper |
On notions of factorization systems and their applications to cone- injective subcategories | 1982-01-01 | Paper |
A complete logic for reasoning about programs via nonstandard model theory. I | 1982-01-01 | Paper |
A complete logic for reasoning about programs via nonstandard model theory. II | 1982-01-01 | Paper |
Every free algebra in the variety generated by the representable dynamic algebras is separable and representable | 1982-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3317106 | 1982-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3950541 | 1982-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3956390 | 1982-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3958640 | 1982-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4749182 | 1981-01-01 | Paper |
Similarity types, pseudosimple algebras, and congruence representations of chains | 1981-01-01 | Paper |
HSP K is equational class, without the axiom of choice | 1981-01-01 | Paper |
Dimension-complemented and locally finite dimensional cylindric algebras are elementarily equivalent | 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 | 1981-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3322163 | 1981-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3329462 | 1981-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3939224 | 1981-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3942401 | 1981-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3950560 | 1981-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3968474 | 1981-01-01 | Paper |
On systems of varieties definable by schemes of equations | 1980-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3674662 | 1980-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3900070 | 1980-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3923627 | 1980-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3952160 | 1980-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4196574 | 1979-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4198727 | 1979-01-01 | Paper |
INJECTIVITY IN CATEGORIES TO REPRESENT ALL FIRST ORDER FORMULAS, I | 1979-01-01 | Paper |
INJECTIVITY IN CATEGORIES TO REPRESENT ALL FIRST ORDER FORMULAS, I | 1979-01-01 | Paper |
Formulas and ultraproducts in categories | 1979-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3208642 | 1979-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3883472 | 1979-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3890690 | 1979-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3891754 | 1979-01-01 | Paper |
From hereditary classes to varieties in abstract model theory and partial algebra | 1978-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3853624 | 1978-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3872454 | 1978-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3960112 | 1978-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3967519 | 1978-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4193440 | 1978-01-01 | Paper |
On universal algebraic constructions of logics | 1977-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4141882 | 1977-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4146772 | 1977-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4106191 | 1976-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4193529 | 1976-01-01 | Paper |
A simple, purely algebraic proof of the completeness of some first order logics | 1975-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3215278 | 1975-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3875892 | 1975-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4101662 | 1975-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4158868 | 1975-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4170719 | 1975-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4049060 | 1974-01-01 | Paper |
Sufficient and Necessary Condition for the Completeness of a Calculus | 1974-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4069802 | 1974-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4077470 | 1974-01-01 | Paper |