@article{LLPLLP.2015.005,
author = {Gianluigi Bellin and Massimiliano Carrara and Daniele Chiffi and Alessandro Menti},
title = {Errata Corrige to “Pragmatic and dialogic interpretation of bi-intuitionism. Part I”},
journal = {Logic and Logical Philosophy},
volume = {25},
number = {2},
year = {2015},
keywords = {bi-intuitionism; categorical proof theory; justificationism; meaning-as-use; speech-acts theory},
abstract = {The goal of [3] is to sketch the construction of a syntactic categorical model of the bi-intuitionistic logic of assertions and hypotheses AH, axiomatized in a sequent calculus AH-G1, and to show that such a model has a chirality-like structure inspired by the notion of dialogue chirality by P-A. Melliès [8]. A chirality consists of a pair of adjoint functors L ⊣ R, with L: A → B, R: B → A, and of a functor (.)* : A → Bop(0,1) satisfying certain conditions. The definition of the logic AH in [3] needs to be modified so that our categories A and B are actually dual. With this modification, a more complex structure emerges.},
issn = {2300-9802},
url = {https://apcz.pl/czasopisma/index.php/LLP/article/view/LLP.2015.005},
pages = {225--233}
}