scientific article; zbMATH DE number 2219536

MaRDI QIDQ5698282zbMATH OpenFDO

Authors Guojun Wang, Hongjun Zhou

Publication date 27 October 2005

zbMATH Keywords

\(Q\)-filteraxiom of choicecompleteness of first-order logic

Mathematics Subject Classification ID

Classical first-order logic (03B10) Axiom of choice and related propositions (03E25) Logical aspects of Boolean algebras (03G05)

Recommendations

• scientific article; zbMATH DE number 1910376
• A Henkin-style proof of completeness for first-order algebraizable logics
• Completeness Theorems for Universal and Implicational Logics of Algebras Via Congruences
• Equational treatment of first-order logic
• First-order theories as many-sorted algebras

Cited in

(8)

• Equational treatment of first-order logic
• A New and Formalized Proof of Abstract Completion
• A new version of the proof of completeness criterion for k-valued logic functions
• scientific article; zbMATH DE number 5582998 (Why is no real title available?)
• Completeness Theorems for Universal and Implicational Logics of Algebras Via Congruences
• scientific article; zbMATH DE number 1910376 (Why is no real title available?)
• A Henkin-style proof of completeness for first-order algebraizable logics
• A new proof of the fixed-point theorem of provability logic

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 Q5698282)