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

Sfoglia per Autore  D'AGOSTINO, Marcello

Opzioni
Mostrati risultati da 1 a 20 di 69
Titolo Data di pubblicazione Autore(i) File
Leibniz e la geometria nascosta 1984 D'Agostino, Marcello file con accesso da definire
Introduzione all'edizione italiana 1985 D'Agostino, Marcello file con accesso da definire
Scritti Filosofici di Imre Lakatos. 2 voll. 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
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
An Improvement of Analytic Tableaux 1992 D'Agostino, Marcello; M., Mondadori 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
Are Tableaux an improvement on truth-tables? Cut-free proofs and bivalence 1992 D'Agostino, Marcello 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
Il Dilemma dell'ATP 1993 D'Agostino, Marcello; Mondadori, M. file con accesso da definire
Finding proofs in substructural logics 1994 K., Broda; D'Agostino, Marcello 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
An Improvement of Analytic Tableaux 1994 D'Agostino, Marcello; Mondadori, M. 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
Mostrati risultati da 1 a 20 di 69
Legenda icone

  •  file ad accesso aperto
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile