BELLIN, Gianluigi
BELLIN, Gianluigi
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.013 secondi).
A Pragmatic Interpretation Of Substructural Logics
2002-01-01 Bellin, Gianluigi; Carlo Dalla, Pozza
Assertions, hypotheses, conjectures, expectations: Rough-set semantics and proof-theory
2014-01-01 Bellin, Gianluigi
Chu's construction: a proof-theoretic approach
2003-01-01 Bellin, Gianluigi
Herbrand's Theorem for Calculi of Sequents LK and LJ
1979-01-01 Bellin, Gianluigi
Ramsey Interpreted: A Parametric Version of Ramsey's Theorem
1990-01-01 Bellin, Gianluigi
Subnets of Proof-nets in MLL-
1995-01-01 Bellin, Gianluigi; J., Van De Wiele
Two paradigms of logical computation in affine logic?
2003-01-01 Bellin, Gianluigi
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Pragmatic Interpretation Of Substructural Logics | 1-gen-2002 | Bellin, Gianluigi; Carlo Dalla, Pozza | |
| Assertions, hypotheses, conjectures, expectations: Rough-set semantics and proof-theory | 1-gen-2014 | Bellin, Gianluigi | |
| Chu's construction: a proof-theoretic approach | 1-gen-2003 | Bellin, Gianluigi | |
| Herbrand's Theorem for Calculi of Sequents LK and LJ | 1-gen-1979 | Bellin, Gianluigi | |
| Ramsey Interpreted: A Parametric Version of Ramsey's Theorem | 1-gen-1990 | Bellin, Gianluigi | |
| Subnets of Proof-nets in MLL- | 1-gen-1995 | Bellin, Gianluigi; J., Van De Wiele | |
| Two paradigms of logical computation in affine logic? | 1-gen-2003 | Bellin, Gianluigi |