Publication:4873975
From MaRDI portal
zbMath0852.03002MaRDI QIDQ4873975
Publication date: 5 December 1996
relation algebras; proof-theoretic approach; equational theory; cylindric algebras; arrow logic; mosaics method; versions of first-order logic
03B25: Decidability of theories and sets of sentences
03C13: Model theory of finite structures
03F03: Proof theory in general (including proof-theoretic semantics)
03G15: Cylindric and polyadic algebras; relation algebras
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
Temporal Logic of Minkowski Spacetime, The complexity of temporal logic over the reals, The complexity of the temporal logic with ``until over general linear time, The finitely axiomatizable complete theories of non-associative arrow frames, First order logic without equality on relativized semantics, On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators, Cylindric algebras and finite polyadic algebras, Atoms in infinite dimensional free sequence-set algebras, Synthesis for continuous time, On a new semantics for first-order predicate logic, Guards, bounds, and generalized semantics, Changing a Semantics: Opportunism or Courage?