scientific article; zbMATH DE number 868092

Publication date: 5 December 1996

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

relation algebras proof-theoretic approach equational theory cylindric algebras arrow logic mosaics method versions of first-order logic

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Model theory of finite structures (03C13) Proof theory in general (including proof-theoretic semantics) (03F03) Cylindric and polyadic algebras; relation algebras (03G15) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

On a new semantics for first-order predicate logic ⋮ Changing a Semantics: Opportunism or Courage? ⋮ The complexity of the temporal logic with ``until over general linear time ⋮ On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators ⋮ The complexity of temporal logic over the reals ⋮ The finitely axiomatizable complete theories of non-associative arrow frames ⋮ Cylindric algebras and finite polyadic algebras ⋮ First order logic without equality on relativized semantics ⋮ Atoms in infinite dimensional free sequence-set algebras ⋮ Guards, bounds, and generalized semantics ⋮ Temporal Logic of Minkowski Spacetime ⋮ Synthesis for continuous time