Reconciling First-Order Logic to Algebra

DOI10.1007/978-3-319-98797-2_13zbMath1439.03109OpenAlexW2897208881MaRDI QIDQ3305345

Mariana Matulovic, Hugo Luiz Mariano, Walter Alexandre Carnielli

Publication date: 6 August 2020

Published in: Trends in Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-98797-2_13

Mathematics Subject Classification ID

Classical first-order logic (03B10) Other algebras related to logic (03G25)

Cites Work

• Non-deterministic semantics in polynomial format
• Universal logic: An anthology. From Paul Hertz to Dov Gabbay
• Cylindric algebras. Part II
• 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
• POLYNOMIAL RING CALCULUS FOR MODAL LOGICS: A NEW SEMANTICS AND PROOF METHOD FOR MODALITIES
• Algebraizable logics
• Logics of Formal Inconsistency
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Reconciling First-Order Logic to Algebra