The Classical Model Existence Theorem in Subclassical Predicate Logics I

DOI10.1007/978-1-4020-9084-4_9zbMATH Open1159.03007OpenAlexW193857920MaRDI QIDQ3600568FDOQ3600568

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

Recommendations

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

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)

Cites Work

• Title not available (Why is that?)
• Metamathematics of fuzzy logic
• Title not available (Why is that?)
• The Discovery of My Completeness Proofs
• Title not available (Why is that?)
• The Blackwell guide to philosophical logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• MINIMAL LOGIC IS ADEQUATE FOR POPPERIAN SCIENCE

Cited In (3)

• Title not available (Why is that?)
• Model existence theorem in superrelevant predicate logics
• Title not available (Why is that?)

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)