The Classical Model Existence Theorem in Subclassical Predicate Logics I

DOI10.1007/978-1-4020-9084-4_9zbMath1159.03007OpenAlexW193857920MaRDI QIDQ3600568

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

three-valued logicintuitionistic logicstrong completenessprenex normal formextended completeness theorem

Mathematics Subject Classification ID

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

Cites Work

• Metamathematics of fuzzy logic
• MINIMAL LOGIC IS ADEQUATE FOR POPPERIAN SCIENCE
• The Discovery of My Completeness Proofs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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