David Fuenmayor

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Semantical investigations on non-classical logics with recovery operators: negation Logic Journal of the IGPL	2025-11-07	Paper
Who finds the short proof? Logic Journal of the IGPL	2024-11-15	Paper
A formalization of abstract argumentation in higher-order logic Journal Of Logic And Computation	2024-11-12	Paper
scientific article; zbMATH DE number 7699424 (Why is no real title available?)	2023-06-20	Paper
Formalising basic topology for computational logic in simple type theory Lecture Notes in Computer Science	2023-06-02	Paper
Automating emendations of the ontological argument in intensional higher-order modal logic KI 2017: Advances in Artificial Intelligence	2022-11-02	Paper
scientific article; zbMATH DE number 7594144 (Why is no real title available?)	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 Lecture Notes in Computer Science	2022-08-30	Paper
LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT The Review of Symbolic Logic	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 Bulletin of the Section of Logic	2020-10-15	Paper
Computational Hermeneutics: An Integrated Approach for the Logical Analysis of Natural-Language Arguments Dynamics, Uncertainty and Reasoning	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 (available as arXiv preprint)	2020-03-20	Paper

Research outcomes over time

This page was built for person: David Fuenmayor