First Order Logic with Domain Conditions
- 1 January 2003
- book chapter
- Published by Springer Nature
- p. 221-237
- https://doi.org/10.1007/10930755_15
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Isabelle/HOLPublished by Springer Nature ,2002
- Equational Reasoning via Partial ReflectionPublished by Springer Nature ,2000
- Principles and Pragmatics of Subtyping in PVSPublished by Springer Nature ,2000
- Partial Functions in a Total SettingJournal of Automated Reasoning, 1997
- IMPS: An interactive mathematical proof systemJournal of Automated Reasoning, 1993
- Foundations of Constructive MathematicsPublished by Springer Nature ,1985
- Identity and existence in intuitionistic logicPublished by Springer Nature ,1979