D'AGOSTINO, Marcello
D'AGOSTINO, Marcello
Dipartimento di Studi Umanistici
"Ragionare dobbiamo, e spesso"
file con accesso da definire2001 D'Agostino, Marcello; Giorello, Giulio; Veca, Salvatore
A generalization of analytic deduction via labelled deductive systems. Part 1: basic substructural logics
file con accesso da definire1994 D'Agostino, Marcello; Gabbay, Dm
A logical calculus for controlled monotonicity
file con accesso da definire2014 D'Agostino, Marcello; M., Piazza; G., Pulcini
A Solution to a Problem of Popper
file con accesso da definire2006 K., Broda; D'Agostino, Marcello; M., Mondadori
An Improvement of Analytic Tableaux
file con accesso da definire1992 D'Agostino, Marcello; M., Mondadori
An Improvement of Analytic Tableaux
file con accesso da definire1994 D'Agostino, Marcello; Mondadori, M.
An informational view of classical logic
2015 D'Agostino, Marcello
Analytic Inference and the Informational Meaning of the Logical Operators
file con accesso da definire2014 D'Agostino, Marcello
Are Tableaux an improvement on truth-tables? Cut-free proofs and bivalence
file con accesso da definire1992 D'Agostino, Marcello
Carnap and Logical Truth
file con accesso da definire1992 D'Agostino, Marcello; M., Mondadori
Carnap e la verità logica
file con accesso da definire1995 D'Agostino, Marcello; Mondadori, M.
Classical Analytic Deduction and Complexity
file con accesso da definire1991 D'Agostino, Marcello; M., Mondadori
Classical logic as the limit of a sequence of cut-bounded feasible logics
file con accesso da definire1994 D'Agostino, Marcello; M., Mondadori
Classical Natural Deduction
file con accesso da definire2005 D'Agostino, Marcello
Cut-Based Abduction
file con accesso da definire2008 D'Agostino, Marcello; M., Finger; D. M., Gabbay
Deduction
file con accesso da definire2013 D'Agostino, Marcello
Deduzione analitica classica, complessità e significato degli operatori logici
file con accesso da definire1992 D'Agostino, Marcello; Mondadori, M.
Depth-Bounded Logic for Realistic Agents
file con accesso da definire2013 D'Agostino, Marcello
Depth-Bounded Probability Logic: A Preliminary Investigation
file con accesso da definire2015 D'Agostino, Marcello; Hosni, Hykel; Flaminio, Tommaso
Efficient Classical Refutations
file con accesso da definire1990 D'Agostino, Marcello; M., Mondadori
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| "Ragionare dobbiamo, e spesso" | 2001 | D'Agostino, Marcello; Giorello, Giulio; Veca, Salvatore | file con accesso da definire |
| A generalization of analytic deduction via labelled deductive systems. Part 1: basic substructural logics | 1994 | D'Agostino, Marcello; Gabbay, Dm | file con accesso da definire |
| A logical calculus for controlled monotonicity | 2014 | D'Agostino, Marcello; M., Piazza; G., Pulcini | file con accesso da definire |
| A Solution to a Problem of Popper | 2006 | K., Broda; D'Agostino, Marcello; M., Mondadori | file con accesso da definire |
| An Improvement of Analytic Tableaux | 1992 | D'Agostino, Marcello; M., Mondadori | file con accesso da definire |
| An Improvement of Analytic Tableaux | 1994 | D'Agostino, Marcello; Mondadori, M. | file con accesso da definire |
| An informational view of classical logic | 2015 | D'Agostino, Marcello | |
| Analytic Inference and the Informational Meaning of the Logical Operators | 2014 | D'Agostino, Marcello | file con accesso da definire |
| Are Tableaux an improvement on truth-tables? Cut-free proofs and bivalence | 1992 | D'Agostino, Marcello | file con accesso da definire |
| Carnap and Logical Truth | 1992 | D'Agostino, Marcello; M., Mondadori | file con accesso da definire |
| Carnap e la verità logica | 1995 | D'Agostino, Marcello; Mondadori, M. | file con accesso da definire |
| Classical Analytic Deduction and Complexity | 1991 | D'Agostino, Marcello; M., Mondadori | file con accesso da definire |
| Classical logic as the limit of a sequence of cut-bounded feasible logics | 1994 | D'Agostino, Marcello; M., Mondadori | file con accesso da definire |
| Classical Natural Deduction | 2005 | D'Agostino, Marcello | file con accesso da definire |
| Cut-Based Abduction | 2008 | D'Agostino, Marcello; M., Finger; D. M., Gabbay | file con accesso da definire |
| Deduction | 2013 | D'Agostino, Marcello | file con accesso da definire |
| Deduzione analitica classica, complessità e significato degli operatori logici | 1992 | D'Agostino, Marcello; Mondadori, M. | file con accesso da definire |
| Depth-Bounded Logic for Realistic Agents | 2013 | D'Agostino, Marcello | file con accesso da definire |
| Depth-Bounded Probability Logic: A Preliminary Investigation | 2015 | D'Agostino, Marcello; Hosni, Hykel; Flaminio, Tommaso | file con accesso da definire |
| Efficient Classical Refutations | 1990 | D'Agostino, Marcello; M., Mondadori | file con accesso da definire |