Searching for authors named "Gianluigi Bellin" – sorted by Relevance.
7 documents found, showing 1 through 7.
-
NATURAL DEDUCTION AND TERM ASSIGNMENT FOR CO-HEYTING ALGEBRAS IN POLARIZED BI-INTUITIONISTIC LOGIC.
- …. GIANLUIGI BELLIN Abstract. We reconsider Rauszer’s bi-intuitionistic logic in the framework of the logic…
- Add To MetaCart
-
unknown title
- … A Kripke-style semantics for the intuitionistic logic of pragmatics ILP Gianluigi Bellin…
- Add To MetaCart
-
Cut-elimination for the logic of pragmatics
- … Cut-elimination for the logic of pragmatics Gianluigi Bellin and Corrado Biasi 7th April 2003…
- Cited by 1 (0 self) – Add To MetaCart
-
A Pragmatic Interpretation Of Substructural Logics
- …A PRAGMATIC INTERPRETATION OF SUBSTRUCTURAL LOGICS GIANLUIGI BELLIN AND CARLO DALLA POZZA Abstract…
- Cited by 4 (4 self) – Add To MetaCart
-
Extended Curry-Howard Correspondence for a Basic Constructive Modal Logic
- …Extended Curry-Howard Correspondence for a Basic Constructive Modal Logic Gianluigi Bellin Valeria…
- Cited by 7 (2 self) – Add To MetaCart
-
Categorical Proof Theory of Classical Propositional Calculus
- …Categorical Proof Theory of Classical Propositional Calculus Gianluigi Bellin a Martin Hyland b…
- Cited by 2 (1 self) – Add To MetaCart
-
A TERM ASSIGNMENT FOR DUAL INTUITIONISTIC LOGIC.
- …A TERM ASSIGNMENT FOR DUAL INTUITIONISTIC LOGIC. GIANLUIGI BELLIN Abstract. We study the proof…
- Add To MetaCart
Showing 1 through 7.
