Gianluigi Bellin

Available identifiers

zbMath Open bellin.gianluigiMaRDI QIDQ860831

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4993336	2021-06-15	Paper
On an intuitionistic logic for pragmatics	2019-01-31	Paper
Pragmatic and dialogic interpretations of bi-intuitionism. I	2017-05-18	Paper
Errata corrige to ``Pragmatic and dialogic interpretation of bi-intuitionism. I	2017-05-18	Paper
Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory	2015-05-22	Paper
Categorical proof theory of co-intuitionistic linear logic	2014-09-30	Paper
On the \(\pi\)-calculus and co-intuitionistic logic. Notes on logic for concurrency and \(\lambda\)P systems	2014-05-14	Paper
Categorical proof theory of classical propositional calculus	2007-01-09	Paper
Towards a Logic for Pragmatics. Assertions and Conjectures	2004-10-28	Paper
A Kripke-style Semantics for the Intuitionistic Logic of Pragmatics ILP	2004-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q4793029	2003-02-18	Paper
https://portal.mardi4nfdi.de/entity/Q4440826	2003-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4440825	2003-01-01	Paper
Planar and braided proof-nets for multiplicative linear logic with mix	1999-02-02	Paper
Subnets of proof-nets in multiplicative linear logic with MIX	1998-03-04	Paper
On the \(\pi\)-calculus and linear logic	1995-02-09	Paper
A decision procedure revisited: Notes on direct logic, linear logic and its implementation	1992-06-28	Paper
https://portal.mardi4nfdi.de/entity/Q3035275	1990-01-01	Paper
Symbolic Representations of the Post-apartheid University	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3870891	1979-01-01	Paper

Research outcomes over time

This page was built for person: Gianluigi Bellin