Sfoglia per Autore
Modello
1996 P.Minari
Numero
1996 P.Minari
Metalinguaggio
1996 P.Minari
Logica
1996 P.Minari
Theories of types and names with positive stratified comprehension
1999 P.Minari
Logic and Foundations of mathematics
1999 A. Cantini; E. Casari; P. Minari
Uniform inseparability in Explicit Mathematics
1999 Cantini, Andrea; Minari, Pierluigi
A note on Lukasiewicz’s three-valued logic
2003 P.Minari
Analytic combinatory calculi and the elimination of transitivity
2004 P. MINARI
Proof-theoretical methods in combinatory logic and lambda-calculus
2005 P. MINARI
Analytic proof systems for λ-calculus:the elimination of transitivity, and why it matters
2007 P. Minari
Review Essay: K. Terui, Which structural rules admit cut elimination? An algebraic criterion. J. Symbolic Logic 72 (2007), no. 3, 738--754.
2008 P.Minari
Review of: Dyckhoff, Roy; Lengrand, St´ephaneCall-by-value lambda-calculus and LJQ. J. Logic Comput. 17 (2007), no. 6, 1109–1134.
2008 P.Minari
Review of: Fleury, M.-R.; Quatrini, M. A mixed $\lambda$-calculus. Studia Logica 87 (2007), no. 2-3, 269--294.
2008 P.Minari
Review of: W. de Campos Sanz, A note on Gentzen's LJ and NJ systems isomorphism. Log. J. IGPL 15 (2007), no. 5-6, 767--774.
2008 P.Minari
Review of: Lengrand, Stéphane; Miquel, Alexandre. Classical Fω, orthogonality and symmetric candidates. Ann. Pure Appl. Logic 153 (2008), no. 1-3, 3–20.
2009 P. Minari
Review Essay: Predicate logical extensions of some subintuitionistic logics (Zimmermann, Ernst, Studia Logica 91 (2009), no. 1, 131–138).
2009 P.Minari
Review of: Połacik, Tomasz.Back and forth between first-order Kripke models.Log. J. IGPL 16 (2008), no. 4, 335–355.
2009 P.Minari
Review Essay: A term assignment for polarized bi-intuitionistic logic and its strong normalization (Biasi, Corrado; Aschieri, Federico, Fund. Inform. 84 (2008), no. 2, 185–205).
2009 P.Minari
Review of: Studer, Thomas. On the proof theory of the modal mu-calculus. Studia Logica 89 (2008), no. 3, 343–363.
2009 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