SFERA Archivio dei prodotti della Ricerca dell'Università di Ferrara

D'AGOSTINO, Marcello

D'AGOSTINO, Marcello  

Dipartimento di Studi Umanistici  

Mostra records
Risultati 1 - 20 di 69 (tempo di esecuzione: 0.025 secondi).
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