Sfoglia per Autore
Leibniz e la geometria nascosta
file con accesso da definire1984 D'Agostino, Marcello
Scritti Filosofici di Imre Lakatos. 2 voll.
file con accesso da definire1985 D'Agostino, Marcello
Introduzione all'edizione italiana
file con accesso da definire1985 D'Agostino, Marcello
Efficient Classical Refutations
file con accesso da definire1990 D'Agostino, Marcello; M., Mondadori
Investigations into the Complexity of some Propositional calculi
file con accesso da definire1990 D'Agostino, Marcello
Classical Analytic Deduction and Complexity
file con accesso da definire1991 D'Agostino, Marcello; M., Mondadori
Proper derived rules and the relative complexity of formal proofs
file con accesso da definire1991 D'Agostino, Marcello
An Improvement of Analytic Tableaux
file con accesso da definire1992 D'Agostino, Marcello; M., Mondadori
Carnap and Logical Truth
file con accesso da definire1992 D'Agostino, Marcello; M., Mondadori
Towards theorem proving with analytic cut
file con accesso da definire1992 J., Cunningham; D'Agostino, Marcello; J., Pitt
Are Tableaux an improvement on truth-tables? Cut-free proofs and bivalence
file con accesso da definire1992 D'Agostino, Marcello
Deduzione analitica classica, complessità e significato degli operatori logici
file con accesso da definire1992 D'Agostino, Marcello; Mondadori, M.
Sistemi di refutazione indicizzati e logiche substrutturali
file con accesso da definire1992 D'Agostino, Marcello; Gabbay, D. M.
Il Dilemma dell'ATP
file con accesso da definire1993 D'Agostino, Marcello; Mondadori, M.
The complexity of proof search with analytic tableaux and related systems
file con accesso da definire1993 D'Agostino, Marcello
Labelled Refutation Systems. A Case Study
file con accesso da definire1993 D'Agostino, Marcello; D. M., Gabbay
An Improvement of Analytic Tableaux
file con accesso da definire1994 D'Agostino, Marcello; Mondadori, M.
Classical logic as the limit of a sequence of cut-bounded feasible logics
file con accesso da definire1994 D'Agostino, Marcello; M., Mondadori
Finding proofs in substructural logics
file con accesso da definire1994 K., Broda; D'Agostino, Marcello
A generalization of analytic deduction via labelled deductive systems. Part 1: basic substructural logics
file con accesso da definire1994 D'Agostino, Marcello; Gabbay, Dm
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Leibniz e la geometria nascosta | 1984 | D'Agostino, Marcello | file con accesso da definire |
Scritti Filosofici di Imre Lakatos. 2 voll. | 1985 | D'Agostino, Marcello | file con accesso da definire |
Introduzione all'edizione italiana | 1985 | D'Agostino, Marcello | file con accesso da definire |
Efficient Classical Refutations | 1990 | D'Agostino, Marcello; M., Mondadori | file con accesso da definire |
Investigations into the Complexity of some Propositional calculi | 1990 | D'Agostino, Marcello | file con accesso da definire |
Classical Analytic Deduction and Complexity | 1991 | D'Agostino, Marcello; M., Mondadori | file con accesso da definire |
Proper derived rules and the relative complexity of formal proofs | 1991 | D'Agostino, Marcello | file con accesso da definire |
An Improvement of Analytic Tableaux | 1992 | D'Agostino, Marcello; M., Mondadori | file con accesso da definire |
Carnap and Logical Truth | 1992 | D'Agostino, Marcello; M., Mondadori | file con accesso da definire |
Towards theorem proving with analytic cut | 1992 | J., Cunningham; D'Agostino, Marcello; J., Pitt | 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 |
Deduzione analitica classica, complessità e significato degli operatori logici | 1992 | D'Agostino, Marcello; Mondadori, M. | file con accesso da definire |
Sistemi di refutazione indicizzati e logiche substrutturali | 1992 | D'Agostino, Marcello; Gabbay, D. M. | file con accesso da definire |
Il Dilemma dell'ATP | 1993 | D'Agostino, Marcello; Mondadori, M. | file con accesso da definire |
The complexity of proof search with analytic tableaux and related systems | 1993 | D'Agostino, Marcello | file con accesso da definire |
Labelled Refutation Systems. A Case Study | 1993 | D'Agostino, Marcello; D. M., Gabbay | file con accesso da definire |
An Improvement of Analytic Tableaux | 1994 | D'Agostino, Marcello; Mondadori, M. | 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 |
Finding proofs in substructural logics | 1994 | K., Broda; D'Agostino, Marcello | 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 |
Legenda icone
- file ad accesso aperto
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile