The following pages link to Gianluigi Bellin (Q860831):
Displayed 21 items.
- Categorical proof theory of classical propositional calculus (Q860833) (← links)
- A decision procedure revisited: Notes on direct logic, linear logic and its implementation (Q1186430) (← links)
- (Q1267839) (redirect page) (← links)
- Planar and braided proof-nets for multiplicative linear logic with mix (Q1267841) (← links)
- On the \(\pi\)-calculus and linear logic (Q1342247) (← links)
- Categorical Proof Theory of Co-Intuitionistic Linear Logic (Q2921113) (← links)
- Pragmatic and dialogic interpretations of bi-intuitionism. Part I (Q2987724) (← links)
- Errata Corrige to “Pragmatic and dialogic interpretation of bi-intuitionism. Part I” (Q2987767) (← links)
- (Q3035275) (← links)
- (Q3870891) (← links)
- Subnets of proof-nets in multiplicative linear logic with MIX (Q4379682) (← links)
- (Q4440825) (← links)
- (Q4440826) (← links)
- A Kripke-style Semantics for the Intuitionistic Logic of Pragmatics ILP (Q4444938) (← links)
- On an intuitionistic logic for pragmatics (Q4612430) (← links)
- Symbolic Representations of the Post-apartheid University (Q4724618) (← links)
- (Q4793029) (← links)
- Towards a Logic for Pragmatics. Assertions and Conjectures (Q4823805) (← links)
- (Q4993336) (← links)
- Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory (Q5251193) (← links)
- On the π-calculus and Co-intuitionistic Logic. Notes on Logic for Concurrency and λP Systems (Q5416727) (← links)