11 citations · 17 across the 10 of their papers we have counts for
12 papers
Mathematical Proof Assistants for Teaching Logic: The LogiKEy Methodology
Christoph Benzmüller, David Fuenmayor, Luca Pasetto
We report on an approach to teaching logic to mixed groups of computer science, mathematics, and philosophy students, based on the logico-pluralistic LogiKEy methodology, used for…
Discernment is all you need
David Fuenmayor
We explore the expressive power of HOL, a system of higher-order logic, and its relationship to the simply-typed lambda calculus and Church's simple theory of types, arguing for th…
Bridging between LegalRuleML and TPTP for Automated Normative Reasoning (extended version)
Alexander Steen, David Fuenmayor
LegalRuleML is a comprehensive XML-based representation framework for modeling and exchanging normative rules. The TPTP input and output formats, on the other hand, are general-pur…
Automated Reasoning in Non-classical Logics in the TPTP World
Alexander Steen, David Fuenmayor, Tobias Gleißner +2
Non-classical logics are used in a wide spectrum of disciplines, including artificial intelligence, computer science, mathematics, and philosophy. The de-facto standard infrastruct…
A Formalisation of Abstract Argumentation in Higher-Order Logic
Alexander Steen, David Fuenmayor
We present an approach for representing abstract argumentation frameworks based on an encoding into classical higher-order logic. This provides a uniform framework for computer-ass…
Semantical Investigations on Non-classical Logics with Recovery Operators: Negation
David Fuenmayor
We investigate mathematical structures that provide natural semantics for families of (quantified) non-classical logics featuring special unary connectives, known as recovery opera…
Higher-order Logic as Lingua Franca -- Integrating Argumentative Discourse and Deep Logical Analysis
David Fuenmayor, Christoph Benzmüller
We present an approach towards the deep, pluralistic logical analysis of argumentative discourse that benefits from the application of state-of-the-art automated reasoning technolo…
Modelling Value-oriented Legal Reasoning in LogiKEy
Christoph Benzmüller, David Fuenmayor, Bertram Lomfeld
The logico-pluralist LogiKEy knowledge engineering methodology and framework is applied to the modelling of a theory of legal balancing in which legal knowledge (cases and laws) is…
Logics of Formal Inconsistency enriched with replacement: an algebraic and modal account
Walter Carnielli, Marcelo E. Coniglio, David Fuenmayor
It is customary to expect from a logical system that it can be algebraizable, in the sense that an algebraic companion of the deductive machinery can always be found. Since the inc…
Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument
Christoph Benzmüller, David Fuenmayor
Three variants of Kurt Gödel's ontological argument, proposed by Dana Scott, C. Anthony Anderson and Melvin Fitting, are encoded and rigorously assessed on the computer. In contras…
A Computational-Hermeneutic Approach for Conceptual Explicitation
David Fuenmayor, Christoph Benzmüller
We present a computer-supported approach for the logical analysis and conceptual explicitation of argumentative discourse. Computational hermeneutics harnesses recent progresses in…
Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories
David Fuenmayor, Christoph Benzmüller
The computer-mechanization of an ambitious explicit ethical theory, Gewirth's Principle of Generic Consistency, is used to showcase an approach for representing and reasoning with…