On varieties of cylindric algebras with applications to logic

DOI10.1016/0168-0072(87)90019-4zbMath0637.03062OpenAlexW2054137194MaRDI QIDQ1098852

Istvan Németi

Publication date: 1987

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(87)90019-4

zbMATH Keywords

undecidabilitydecidabilitycylindric algebraminimal algebracylindric versions of logic with equalitymonadic predicatesmonadic-generated algebra

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Decidability of theories and sets of sentences (03B25) Complexity of computation (including implicit computational complexity) (03D15) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (9)

Complexity of equations valid in algebras of relations. I: Strong non-finitizability ⋮ Cylindric modal logic ⋮ Non-finite-axiomatizability results in algebraic logic ⋮ How many varieties of cylindric algebras are there ⋮ Algebraization of quantifier logics, an introductory overview ⋮ Complexity of equational theory of relational algebras with standard projection elements ⋮ Free algebras in discriminator varieties ⋮ Weakly associative relation algebras with projections ⋮ \(MP\)-algebras with relative types

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A sequent calculus for relation algebras
• Varieties of relation algebras
• The lattice of varieties of modal algebras is not strongly atomic
• 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
• Some sufficient conditions for the representability of relation algebras
• The Gödel class with identity is unsolvable
• The equational theory of CA₃ is undecidable
• The lattice of modal logics: an algebraic investigation
• An undecidability result for relation algebras
• Nonfinite axiomatizability results for cylindric and relation algebras
• Cylindric-relativised set algebras have strong amalgamation
• Deux ou trois choses que je sais de L_n
• Axiom systems for first order logic with finitely many variables
• Finite inseparability of some theories of cylindrification algebras
• Nonfinitizability of classes of representable cylindric algebras
• Completions of B<scp>OOLEAN</scp> Algebras with operators
• Provability with Finitely Many Variables
• Singularly Cylindric and Polyadic Equality Algebras

This page was built for publication: On varieties of cylindric algebras with applications to logic