Classical logic with partial functions
type: Item
instance of: scholarly article
title: Classical logic with partial functions
zbMATH Open document ID: 1259.03047
author: Hans de Nivelle
published in: Journal of Automated Reasoning
publication date: 2012-07-31T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 03B15
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 6062060
zbMATH Keywords: logic for partial functions
zbMATH Keywords: type systems
zbMATH Keywords: multivalued semantics
zbMATH Keywords: sequent calculi
zbMATH Keywords: cut elimination
describes a project that uses: Geo 2007F
MaRDI profile type: Publication
full work available at URL: s10817-011-9236-z
OpenAlex ID: W1999732797
cites work: A practical approach to partial functions in CVC Lite
cites work: Efficient Well-Definedness Checking
cites work: A set theory with support for partial functions
cites work: Q3994895
cites work: Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages
cites work: Classical Logic with Partial Functions
cites work: Geometric Resolution: A Proof Procedure Based on Finite Model Search
cites work: Q3866101
cites work: Lower Bounds on Herbrand's Theorem
DOI: 10.1007/S10817-011-9236-Z
description: scientific article; zbMATH DE number 6062060