Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

15

CADE
2010
Springer

favoriteEmaildiscussreport

216views Logical Reasoning» more CADE 2010»

Classical Logic with Partial Functions

13 years 5 months ago

Classical Logic with Partial Functions

Download www.ii.uni.wroc.pl

Abstract. We introduce a semantics for classical logic with partial functions. We believe that the semantics is natural. When a formula contains a subterm in which a function is applied outside of its domain, our semantics ensures that the formula has no truth-value, so that it cannot be used for reasoning. The semantics relies on order of formulas. In this way, it is able to ensure that functions and predicates are properly declared before they are used. We define a sequent calculus for the semantics, and prove that this calculus is sound and complete for the semantics.

Hans de Nivelle

Real-time Traffic

CADE 2010 | Classical Logic | Logical Reasoning | Semantics | We Believe |

claim paper

Related Content

» On Modal Logics of Partial Recursive Functions

» Subset Types and Partial Functions

» Theory Interpretation in Simple Type Theory

» The connection between two ways of reasoning about partial functions

» First Order Logic with Domain Conditions

» Classical and Intuitionistic Subexponential Logics Are Equally Expressive

» An Operational Approach to Combining Classical Set Theory and Functional Programming Langu...

» Computational Interpretations of Classical Linear Logic

» A new exponential separation between quantum and classical oneway communication complexity

Post Info
More Details (n/a)

Added	08 Nov 2010
Updated	08 Nov 2010
Type	Conference
Year	2010
Where	CADE
Authors	Hans de Nivelle

Comments (0)