A set theory with support for partial functions
From MaRDI portal
Publication:1840647
DOI10.1023/A:1026744827863zbMath0966.03050OpenAlexW2120203109MaRDI QIDQ1840647
William M. Farmer, Joshua D. Guttman
Publication date: 26 July 2001
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1026744827863
undefinednesssortspartial logicNBGinteractive mathematical proof systemreasoning about partial functionstheorem proving systemsvon-Neumann-Bernays-Gödel set theory
Mechanization of proofs and logical operations (03B35) Nonclassical and second-order set theories (03E70)
Related Items (5)
A completeness proof for a regular predicate logic with undefined truth value ⋮ Classical logic with partial functions ⋮ IMPS: An updated system description ⋮ The connection between two ways of reasoning about partial functions ⋮ Classical Logic with Partial Functions
Uses Software
This page was built for publication: A set theory with support for partial functions
