scientific article; zbMATH DE number 5316400

MaRDI QIDQ3520604zbMATH OpenFDO

Authors Jui-Lin Lee

Publication date 26 August 2008

zbMATH Keywords

classical model existence theoremclassical propositional logicGödel-Mal'tsev theoremleft resolution Gentzen systems

Mathematics Subject Classification ID

Classical propositional logic (03B05) Structure of proofs (03F07)

Recommendations

• scientific article; zbMATH DE number 1531888
• scientific article; zbMATH DE number 4214750
• Fixed-point models for theories of properties and classes
• Using resolution for deciding solvable classes and building finite models
• The Classical Model Existence Theorem in Subclassical Predicate Logics I
• Minimum classical extensions of constructive theories
• scientific article; zbMATH DE number 4058237
• Classical modal De Morgan algebras
• Completeness theorem for topological class models
• Classical and relative realizability

Cited in

(1)

• The Classical Model Existence Theorem in Subclassical Predicate Logics I

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