David Fuenmayor

Available identifiers

zbMath Open fuenmayor.davidMaRDI QIDQ2180220

List of research outcomes

Publication	Date of Publication	Type
Who finds the short proof?	2024-11-15	Paper
A formalization of abstract argumentation in higher-order logic	2024-11-12	Paper
https://portal.mardi4nfdi.de/entity/Q6157248	2023-06-20	Paper
Formalising basic topology for computational logic in simple type theory	2023-06-02	Paper
Automating emendations of the ontological argument in intensional higher-order modal logic	2022-11-02	Paper
https://portal.mardi4nfdi.de/entity/Q5869572	2022-09-28	Paper
Higher-order logic as a lingua franca for logico-pluralist argumentation	2022-09-07	Paper
Computer-supported analysis of arguments in climate engineering	2022-08-30	Paper
LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT	2022-08-26	Paper
Who Finds the Short Proof? An Exploration of Variants of Boolos' Curious Inference using Higher-order Automated Theorem Provers	2022-08-14	Paper
A flexible approach to argumentation framework analysis using theorem proving	2022-03-03	Paper
Semantical Investigations on Non-classical Logics with Recovery Operators: Negation	2021-04-09	Paper
Gödel's incompleteness theorems from a paraconsistent perspective	2021-03-18	Paper
Computer-supported analysis of positive properties, ultrafilters and modal collapse in variants of Gödel's ontological argument	2020-10-15	Paper
Computational Hermeneutics: An Integrated Approach for the Logical Analysis of Natural-Language Arguments	2020-08-10	Paper
Mechanised assessment of complex natural-language arguments using expressive logic combinations	2020-05-13	Paper
Logics of Formal Inconsistency enriched with replacement: an algebraic and modal account	2020-03-20	Paper

Research outcomes over time

This page was built for person: David Fuenmayor