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
https://portal.mardi4nfdi.de/entity/Q5102453	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
https://portal.mardi4nfdi.de/entity/Q5037672	2022-03-03	Paper
Semantical Investigations on Non-classical Logics with Recovery Operators: Negation	2021-04-09	Paper
https://portal.mardi4nfdi.de/entity/Q5855497	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