Sfoglia per Autore

opzioni
Mostrati risultati da 1 a 20 di 85
Titolo Data di pubblicazione Autore(i) File
Sulla teoria della dimostrazione: la "Proof Theory" di Schuette 1978 P.Minari
Le dimostrazioni di non-contraddittorietà dell'aritmetica 1981 P.Minari
Completeness theorems for some intermediate predicate calculi 1983 P.Minari
Negation-free intermediate predicate logics 1983 E.Casari; P.Minari
Intermediate Logics. An historical outline and a guided bibliography 1983 P.Minari
Kripke definable ordinals 1985 Minari, Pierluigi
On the extension of intuitionistic propositional logic with Kreisel-Putnam's and Scott's schemes 1986 P.Minari
Disjunction and existence properties in intermediate predicate logics 1986 P.Minari
Intermediate logics with the same disjunctionless fragment as intuitionistic logic 1986 P.Minari
A note on a subsystem of intuitionistic logic with constant domains 1987 P.Minari
Quasilinear posets and some subsystems of Dummett's LC 1987 P.Minari
On the algebraic and the kripkean logical consequence relation for ortho-modular quantum logic 1987 P.Minari
The incompleteness of the quantificational logic of intuitionistic Zermelo-Fraenkel set theory 1988 Minari, Pierluigi
The property (HD) in intermediate logics. A partial solution of a problem of H. Ono 1988 P.Minari
On the semantics of comparative logic 1988 P.Minari
Indagini semantiche sulle logiche intermedie proposizionali 1989 P.Minari
Intermediate predicate logics determined by ordinals 1990 P.Minari; M.Takano; H.Ono
Model theoretical methods in Kripke's semantics: Loewenheim-Skolem-Tarski type techniques 1991 Minari, Pierluigi
La verità è definibile? 1992 P.Minari
Matematica, filosofia della 1996 P.Minari
Mostrati risultati da 1 a 20 di 85
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile