Classical logic with partial functions

DOI10.1007/978-3-642-14203-1_18zbMATH Open1291.03073OpenAlexW1511258729MaRDI QIDQ5747762FDOQ5747762

Hans de Nivelle

Publication date: 14 September 2010

Published in: Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-14203-1_18

Recommendations

• Classical logic with partial functions
• A first order logic for partial functions (extended abstract)
• Partial logics reconsidered: A conservative approach
• Automated Deduction – CADE-19
• A first order logic for partial functions

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Mechanization of proofs and logical operations (03B35) Logic in computer science (03B70)

Cites Work

• Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages
• Geometric Resolution: A Proof Procedure Based on Finite Model Search
• A set theory with support for partial functions
• A practical approach to partial functions in CVC Lite
• Efficient Well-Definedness Checking
• A mechanization of strong Kleene logic for partial functions

Cited In (6)

• A functional partial semantics for intensional logic
• Classical logic as limit completion
• Partial logics reconsidered: A conservative approach
• Classical logic with partial functions
• Formalising foundations of mathematics
• Towards systematic treatment of partial functions in knowledge representation

This page was built for publication: Classical logic with partial functions

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