scientific article; zbMATH DE number 2219536

zbMATH Open1075.03005MaRDI QIDQ5698282FDOQ5698282

Authors: Guojun Wang, Hongjun Zhou 

Publication date: 27 October 2005

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

axiom of choice\(Q\)-filtercompleteness 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)

Cited In (8)

• A New and Formalized Proof of Abstract Completion
• Completeness Theorems for Universal and Implicational Logics of Algebras Via Congruences
• A new version of the proof of completeness criterion for k-valued logic functions
• Title not available (Why is that?)
• Equational treatment of first-order logic
• A Henkin-style proof of completeness for first-order algebraizable logics
• Title not available (Why is that?)
• 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)