Introduction to mathematical logic and resolution principle

MaRDI QIDQ3114102zbMATH OpenFDO

Authors Guojun Wang, Hongjun Zhou

Publication date 30 January 2012

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical propositional logic (03B05) Classical first-order logic (03B10) Many-valued logic (03B50) Logical aspects of Boolean algebras (03G05)

Recommendations

• scientific article; zbMATH DE number 1521608
• scientific article; zbMATH DE number 977290
• scientific article; zbMATH DE number 1968950
• Mathematical logic and algorithm theory
• scientific article; zbMATH DE number 2231185

Cited in

(4)

• Mechanical logic in three-dimensional space
• Characterizations of fuzzy ideals in coresiduated lattices
• Correction and improvement on several results in quantitative logic
• A representation of proper BC domains based on conjunctive sequent calculi

This page was built for publication: Introduction to mathematical logic and resolution principle

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