A new foundation of a complete Boolean equational logic

MaRDI QIDQ5411446zbMATH OpenFDO

Authors George Tourlakis

Publication date 23 April 2014

Full work available at URL http://www.filozof.uni.lodz.pl/bulletin/pdf/38_12_3.pdf

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05)

Recommendations

• scientific article; zbMATH DE number 2015281
• Equational treatment of first-order logic
• On the soundness and completeness of equational predicate logics
• Completeness of category-based equational deduction
• scientific article; zbMATH DE number 2015284

Cited in

(6)

• Computational isomorphisms in classical logic
• On the soundness and completeness of equational predicate logics
• scientific article; zbMATH DE number 475241 (Why is no real title available?)
• scientific article; zbMATH DE number 2015284 (Why is no real title available?)
• ON EQUATIONAL COMPLETENESS THEOREMS
• New Minimal Linear Inferences in Boolean Logic Independent of Switch and Medial

Describes a project that uses

Uses Software

• CalcCheck

This page was built for publication: A new foundation of a complete Boolean equational logic

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