Extending a first order predicate calculus with partially defined iota terms

zbMath1120.03009MaRDI QIDQ998105

Geert Vernaeve, Albert Hoogewijs

Publication date: 10 August 2007

Published in: Bulletin of the Belgian Mathematical Society - Simon Stevin (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.bbms/1170347814

zbMATH Keywords

undefinednesssequent calculuspartial functionsmechanisation of proofs

Mathematics Subject Classification ID

Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35)

This page was built for publication: Extending a first order predicate calculus with partially defined iota terms