CATALOGO DEI PRODOTTI DELLA RICERCA

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 19 di 19
Titolo Data di pubblicazione Autore(i) File
Herbrand's Theorem for Calculi of Sequents LK and LJ 1-gen-1979 Bellin, Gianluigi
A system of natural deduction for GL 1-gen-1985 Bellin, Gianluigi
Ramsey Interpreted: A Parametric Version of Ramsey's Theorem 1-gen-1990 Bellin, Gianluigi
A decision procedure revisited: Notes on direct logic, linear logic and its implementation 1-gen-1992 Bellin, Gianluigi; J., Ketonen
On the Pi-calculus and linear logic 1-gen-1994 Bellin, Gianluigi; P. J., Scott
Subnets of Proof-nets in MLL- 1-gen-1995 Bellin, Gianluigi; J., Van De Wiele
Subnets of Proof-nets in multiplicative linear logic with MIX 1-gen-1997 Bellin, Gianluigi
Planar and Braided Proof-nets for MLL with Mix 1-gen-1998 Bellin, Gianluigi; Fleury, Arnaud
Extended Curry-Howard Correspondence for a Basic Constructive Modal Logic 1-gen-2001 Bellin, Gianluigi; V., De Paiva; E., Ritter
A Pragmatic Interpretation Of Substructural Logics 1-gen-2002 Bellin, Gianluigi; Carlo Dalla, Pozza
Two paradigms of logical computation in affine logic? 1-gen-2003 Bellin, Gianluigi
Chu's construction: a proof-theoretic approach 1-gen-2003 Bellin, Gianluigi
A Kripke-style Semantics for the Intuitionistic Logic of Pragmatics ILP 1-gen-2003 Bellin, Gianluigi; Kurt, Ranalter
Towards a logic for pragmatics. Assertions and conjectures. 1-gen-2004 Bellin, Gianluigi; C., Biasi
Categorical Proof Theory of Classical Propositional Calculus 1-gen-2006 Bellin, Gianluigi; M., Hyland; E., Robinson; C., Urban
Logic for pragmatics 1-gen-2008 Bellin, Gianluigi; Berardi, S; Crolard, T.
Assertions, hypotheses, conjectures, expectations: Rough-set semantics and proof-theory 1-gen-2014 Bellin, Gianluigi
On the π-calculus and Co-intuitionistic Logic. Notes on Logic for Concurrency and λP Systems 1-gen-2014 Bellin, Gianluigi; Menti, Alessandro
Categorical Proof Theory of Co-Intuitionistic Linear Logic 1-gen-2014 Bellin, Gianluigi
Mostrati risultati da 1 a 19 di 19
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