Classical logic with partial functions

DOI10.1007/S10817-011-9236-ZMaRDI QIDQ438568zbMATHOpenAlexFDO

Authors Hans de Nivelle

Publication date 31 July 2012

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

Full work available at URL https://doi.org/10.1007/s10817-011-9236-z

zbMATH Keywords

sequent calculicut eliminationtype systemslogic for partial functionsmultivalued semantics

Mathematics Subject Classification ID

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

Recommendations

• Classical logic with partial functions
• Partial logics reconsidered: A conservative approach
• A functional partial semantics for intensional logic
• A first order logic for partial functions (extended abstract)
• A first order logic for partial functions

Cites work

• scientific article; zbMATH DE number 3668590 (Why is no real title available?)
• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• A practical approach to partial functions in CVC Lite
• A set theory with support for partial functions
• Classical logic with partial functions
• Efficient Well-Definedness Checking
• Geometric Resolution: A Proof Procedure Based on Finite Model Search
• Lower Bounds on Herbrand's Theorem
• Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages

Cited in

(10)

• Reasoning without believing: on the mechanisation of presuppositions and partiality
• Classical logic as limit completion
• Partial logics reconsidered: A conservative approach
• Classical logic with partial functions
• Theorem proving for classical logic with partial functions by reduction to Kleene logic
• A typed logic of partial functions reconstructed classically
• A first order logic for partial functions (extended abstract)
• A functional partial semantics for intensional logic
• First order logic with domain conditions
• A first order logic for partial functions

Describes a project that uses

Uses Software

• Geo 2007F

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 Q438568)