Classical logic with partial functions
From MaRDI portal
Publication:438568
DOI10.1007/S10817-011-9236-ZzbMATH Open1259.03047OpenAlexW1999732797MaRDI QIDQ438568FDOQ438568
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
Recommendations
Cut-elimination and normal-form theorems (03F05) Mechanization of proofs and logical operations (03B35) Logic in computer science (03B70)
Cites Work
- Title not available (Why is that?)
- Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages
- Lower Bounds on Herbrand's Theorem
- Title not available (Why is that?)
- 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
- Classical logic with partial functions
Cited In (11)
- A functional partial semantics for intensional logic
- First order logic with domain conditions
- Classical logic as limit completion
- A first order logic for partial functions
- Partial logics reconsidered: A conservative approach
- Classical logic with partial functions
- A typed logic of partial functions reconstructed classically
- Theorem proving for classical logic with partial functions by reduction to Kleene logic
- A first order logic for partial functions (extended abstract)
- Reasoning without believing: on the mechanisation of presuppositions and partiality
- Subsumption algorithms for three-valued geometric resolution
Uses Software
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)
