Computational Hermeneutics: An Integrated Approach for the Logical Analysis of Natural-Language Arguments
DOI10.1007/978-981-13-7791-4_9OpenAlexW2963778334MaRDI QIDQ3305694
David Fuenmayor, Christoph Benzmüller
Publication date: 10 August 2020
Published in: Dynamics, Uncertainty and Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-981-13-7791-4_9
proof assistantshigher order logiccomputational hermeneuticsrational argumentationsemantical embeddingsuniversal logical reasoning
Natural language processing (68T50) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The higher-order prover \textsc{Leo}-II
- Computer-assisted analysis of the Anderson-Hájek ontological controversy
- Steps toward a computational metaphysics
- Adequate formalization
- Isabelle/HOL. A proof assistant for higher-order logic
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
- Quantified multimodal logics in simple type theory
- Criteria for logical formalization
- Multimodal and intuitionistic logics in simple type theory
- Change in Abstract Argumentation Frameworks: Adding an Argument
- Godelian ontological arguments
- Theorem Provers For Every Normal Modal Logic
- Automating Emendations of the Ontological Argument in Intensional Higher-Order Modal Logic
- Dynamic predicate logic
- Higher-order semantics and extensionality
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder
- A logic-based theory of deductive arguments
This page was built for publication: Computational Hermeneutics: An Integrated Approach for the Logical Analysis of Natural-Language Arguments
