Marcello D'Agostino

Available identifiers

zbMath Open dagostino.marcelloMaRDI QIDQ281147

List of research outcomes

Publication	Date of Publication	Type
Towards tractable approximations to many-valued logics: the case of first degree entailment	2024-11-20	Paper
Tractable depth-bounded approximations to \textbf{FDE} and its satellites	2024-11-12	Paper
Depth-bounded reasoning. Volume 1: classical propositional logic	2024-03-01	Paper
Depth-Bounded Approximations of Probability	2022-12-06	Paper
Chrysippus' logic in a natural deduction setting	2022-10-28	Paper
https://portal.mardi4nfdi.de/entity/Q5039098	2022-10-12	Paper
Normality, non-contamination and logical depth in classical natural deduction	2020-03-27	Paper
Classical logic, argument and dialectic	2019-01-18	Paper
Fibred tableaux for multi-implication logics	2019-01-10	Paper
A rational account of classical logic argumentation for real-world agents	2018-07-12	Paper
Adding logic to the toolbox of molecular biology	2018-03-15	Paper
https://portal.mardi4nfdi.de/entity/Q2973406	2017-04-03	Paper
Informational semantics, non-deterministic matrices and feasible deduction	2016-05-10	Paper
An informational view of classical logic	2015-12-08	Paper
A logical calculus for controlled monotonicity	2014-11-20	Paper
Semantics and proof-theory of depth bounded Boolean logics	2013-11-29	Paper
A logic of non-monotonic interactions	2013-05-02	Paper
https://portal.mardi4nfdi.de/entity/Q3007254	2011-06-21	Paper
https://portal.mardi4nfdi.de/entity/Q3584010	2010-08-18	Paper
What's so special about Euclidean distance? A characterization with applications to mobility and spatial voting	2009-09-02	Paper
The enduring scandal of deduction. Is propositional logic really uninformative?	2009-08-11	Paper
The measurement of rank mobility	2009-08-07	Paper
Cut-Based Abduction	2009-01-21	Paper
Tableau methods for substructural logics	2001-11-14	Paper
Tableau methods for classical propositional logic	2001-11-14	Paper
https://portal.mardi4nfdi.de/entity/Q4946231	2001-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q4895423	1999-08-31	Paper
Grafting modalities onto substructural implication systems	1998-05-11	Paper
A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics	1995-02-22	Paper
The Taming of the Cut. Classical Refutations with Analytic Cut	1995-02-16	Paper
Are tableaux an improvement on truth-tables? Cut-free proofs and bivalence	1994-03-10	Paper

Research outcomes over time

This page was built for person: Marcello D'Agostino