Classical logic with partial functions

DOI10.1007/978-3-642-14203-1_18MaRDI QIDQ5747762zbMATH OpenOpenAlexFDO

Authors 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

Mathematics Subject Classification ID

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

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

Cites work

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

Cited in

(7)

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

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)