scientific article; zbMATH DE number 868092

MaRDI QIDQ4873975zbMATH OpenFDO

Authors István Németi

Publication date 5 December 1996

zbMATH Keywords

equational theoryrelation algebrascylindric algebrasarrow logicproof-theoretic approachmosaics methodversions of first-order logic

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 35403
• On varieties of cylindric algebras with applications to logic
• Decidability of cylindric set algebras of dimension two and first-order logic with two variables
• Formalizing first-order logic in the equational theory of 3-dimensional diagonal-free cylindric algebras
• scientific article; zbMATH DE number 1303433

Cited in

(13)

• First order logic without equality on relativized semantics
• The finitely axiomatizable complete theories of non-associative arrow frames
• The complexity of temporal logic over the reals
• The complexity of the temporal logic with ``until over general linear time
• scientific article; zbMATH DE number 887303 (Why is no real title available?)
• Cylindric algebras and finite polyadic algebras
• On a new semantics for first-order predicate logic
• Temporal logic of Minkowski spacetime
• On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators
• Guards, bounds, and generalized semantics
• Synthesis for continuous time
• Atoms in infinite dimensional free sequence-set algebras
• Changing a Semantics: Opportunism or Courage?

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4873975)