Gianluigi Bellin

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 7359406 (Why is no real title available?)	2021-06-15	Paper
On an intuitionistic logic for pragmatics Journal Of Logic And Computation	2019-01-31	Paper
Pragmatic and dialogic interpretations of bi-intuitionism. I Logic and Logical Philosophy	2017-05-18	Paper
Errata corrige to ``Pragmatic and dialogic interpretation of bi-intuitionism. I Logic and Logical Philosophy	2017-05-18	Paper
Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory Trends in Logic	2015-05-22	Paper
Categorical proof theory of co-intuitionistic linear logic Logical Methods in Computer Science	2014-09-30	Paper
On the \(\pi\)-calculus and co-intuitionistic logic. Notes on logic for concurrency and \(\lambda\)P systems Fundamenta Informaticae	2014-05-14	Paper
Categorical proof theory of classical propositional calculus Theoretical Computer Science	2007-01-09	Paper
Towards a Logic for Pragmatics. Assertions and Conjectures Journal Of Logic And Computation	2004-10-28	Paper
A Kripke-style Semantics for the Intuitionistic Logic of Pragmatics ILP Journal Of Logic And Computation	2004-01-28	Paper
scientific article; zbMATH DE number 1870417 (Why is no real title available?)	2003-02-18	Paper
scientific article; zbMATH DE number 2020177 (Why is no real title available?)	2003-01-01	Paper
scientific article; zbMATH DE number 2020176 (Why is no real title available?)	2003-01-01	Paper
Planar and braided proof-nets for multiplicative linear logic with mix Archive for Mathematical Logic	1999-02-02	Paper
Subnets of proof-nets in multiplicative linear logic with MIX Mathematical Structures in Computer Science	1998-03-04	Paper
On the \(\pi\)-calculus and linear logic Theoretical Computer Science	1995-02-09	Paper
A decision procedure revisited: Notes on direct logic, linear logic and its implementation Theoretical Computer Science	1992-06-28	Paper
scientific article; zbMATH DE number 4134034 (Why is no real title available?)	1990-01-01	Paper
Symbolic Representations of the Post-apartheid University Theoria	1985-01-01	Paper
scientific article; zbMATH DE number 3674081 (Why is no real title available?)	1979-01-01	Paper

Research outcomes over time

This page was built for person: Gianluigi Bellin