First Order Logic with Domain Conditions

DOI10.1007/10930755_15zbMath1279.68299OpenAlexW1493068803MaRDI QIDQ3559768

Jan Zwanenburg, Freek Wiedijk

Publication date: 7 May 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/10930755_15

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (2)

Generating custom set theories with non-set structured objects ⋮ Automating Side Conditions in Formalized Partial Functions

Uses Software

• Unnamed Item
• PVS
• Nuprl
• Automath

This page was built for publication: First Order Logic with Domain Conditions