Sfoglia per Autore
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
Disjunction and existence properties in intermediate predicate logics
1986 P.Minari
On the extension of intuitionistic propositional logic with Kreisel-Putnam's and Scott's schemes
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
On the algebraic and the kripkean logical consequence relation for ortho-modular quantum logic
1987 P.Minari
Quasilinear posets and some subsystems of Dummett's LC
1987 P.Minari
On the semantics of comparative logic
1988 P.Minari
The property (HD) in intermediate logics. A partial solution of a problem of H. Ono
1988 P.Minari
The incompleteness of the quantificational logic of intuitionistic Zermelo-Fraenkel set theory
1988 Minari, Pierluigi
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
Numero
1996 P.Minari
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