David Fuenmayor

Available identifiers

zbMath Open fuenmayor.davidMaRDI QIDQ2180220

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: David Fuenmayor