Positive Free Higher-Order Logic and Its Automation via a Semantical Embedding
From MaRDI portal
Publication:6488130
DOI10.1007/978-3-030-58285-2_9zbMath1519.68256MaRDI QIDQ6488130
Unnamed Author, Christoph Benzmüller
Publication date: 29 March 2023
Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Philosophical and critical aspects of logic and foundations (03A05) Higher-order logic (03B16) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
This page was built for publication: Positive Free Higher-Order Logic and Its Automation via a Semantical Embedding
