Higher-order semantics and extensionality
From MaRDI portal
Publication:5311767
DOI10.2178/jsl/1102022211zbMath1071.03024WikidataQ57389428 ScholiaQ57389428MaRDI QIDQ5311767
Michael Kohlhase, Christoph Benzmüller, Chad Edward Brown
Publication date: 29 August 2005
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2178/jsl/1102022211
Related Items
Progress in the Development of Automated Theorem Proving for Higher-Order Logic, Analytic Tableaux for Higher-Order Logic with Choice, TPS: A hybrid automatic-interactive system for developing proofs, Verifying the Modal Logic Cube Is an Easy Task (For Higher-Order Automated Reasoners), THF0 – The Core of the TPTP Language for Higher-Order Logic
Uses Software
Cites Work