The Classical Model Existence Theorem in Subclassical Predicate Logics I

DOI10.1007/978-1-4020-9084-4_9MaRDI QIDQ3600568zbMATH OpenOpenAlexFDO

Authors Jui-Lin Lee

Publication date 5 February 2009

Published in Towards Mathematical Philosophy (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-1-4020-9084-4_9

zbMATH Keywords

intuitionistic logicstrong completenessthree-valued logicprenex normal formextended completeness theorem

Mathematics Subject Classification ID

Many-valued logic (03B50) Classical first-order logic (03B10) Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• scientific article; zbMATH DE number 2109537
• scientific article; zbMATH DE number 5316400
• Model existence theorem in superrelevant predicate logics
• Extended disjunction and existence properties for some predicate modal logics
• Kripke models for classical logic

Cites work

• scientific article; zbMATH DE number 1852923 (Why is no real title available?)
• scientific article; zbMATH DE number 5242534 (Why is no real title available?)
• scientific article; zbMATH DE number 3248792 (Why is no real title available?)
• scientific article; zbMATH DE number 3296221 (Why is no real title available?)
• scientific article; zbMATH DE number 3300581 (Why is no real title available?)
• MINIMAL LOGIC IS ADEQUATE FOR POPPERIAN SCIENCE
• Metamathematics of fuzzy logic
• The Blackwell guide to philosophical logic
• The Discovery of My Completeness Proofs

Cited in

(4)

• Prenex normalization and the hierarchical classification of formulas
• scientific article; zbMATH DE number 125239 (Why is no real title available?)
• Model existence theorem in superrelevant predicate logics
• scientific article; zbMATH DE number 5316400 (Why is no real title available?)

This page was built for publication: The Classical Model Existence Theorem in Subclassical Predicate Logics I

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