Searching for authors named "Gianluigi Bellin" – sorted by Relevance.
-
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

