Marcello D'Agostino

Available identifiers

zbMath Open dagostino.marcelloMaRDI QIDQ281147

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q2753597	2001-11-14	Paper
https://portal.mardi4nfdi.de/entity/Q2753602	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

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: Marcello D'Agostino