A set theory with support for partial functions

DOI10.1023/A:1026744827863MaRDI QIDQ1840647zbMATH OpenOpenAlexFDO

Authors 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

zbMATH Keywords

interactive mathematical proof systemNBGpartial logicreasoning about partial functionssortstheorem proving systemsundefinednessvon-Neumann-Bernays-Gödel set theory

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Nonclassical and second-order set theories (03E70)

Recommendations

• Partial functions in type theory
• An axiomatic theory for partial functions
• A partial functions version of Church's simple theory of types
• A simple type theory with partial functions and subtypes
• Reconsidering pairs and functions as sets

Cited in

(13)

• An axiomatic theory for partial functions
• Encoding functional relations in Scunak
• scientific article; zbMATH DE number 4037816 (Why is no real title available?)
• Classical logic with partial functions
• Adding partial functions to constraint logic programming with sets
• IMPS: An updated system description
• scientific article; zbMATH DE number 6751874 (Why is no real title available?)
• Classical logic with partial functions
• Automated Deduction – CADE-19
• STMM: A set theory for mechanized mathematics
• A completeness proof for a regular predicate logic with undefined truth value
• Cut elimination for negative free logics with definite descriptions
• The connection between two ways of reasoning about partial functions

Describes a project that uses

Uses Software

• Mizar
• Isabelle/ZF

This page was built for publication: A set theory with support for partial functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1840647)