Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 94
Titolo Data di pubblicazione Autore(i) File
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
Mostrati risultati da 21 a 40 di 94
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