scientific article; zbMATH DE number 6747872
From MaRDI portal
Publication:5282959
zbMath1366.03169MaRDI QIDQ5282959
Christoph Benzmüller, Bruno Woltzenlogel Paleo
Publication date: 18 July 2017
Full work available at URL: http://ebooks.iospress.nl/volumearticle/36922
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophical and critical aspects of logic and foundations (03A05) Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Related Items (12)
Cut-elimination for quantified conditional logic ⋮ Variants of Gödel's ontological proof in a natural deduction calculus ⋮ The higher-order prover \textsc{Leo}-II ⋮ Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics ⋮ The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0 ⋮ Higher-Order Modal Logics: Automation and Applications ⋮ Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument ⋮ Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support ⋮ Para-Disagreement Logics and Their Implementation Through Embedding in Coq and SMT ⋮ Computational Hermeneutics: An Integrated Approach for the Logical Analysis of Natural-Language Arguments ⋮ Computer-assisted analysis of the Anderson-Hájek ontological controversy ⋮ Incompleteness, Undecidability and Automated Proofs
Uses Software
This page was built for publication:
