Basic Logic: Reflection, Symmetry, Visibility
Sambin, Giovanni ; Battilotti, Giulia ; Faggian, Claudia
J. Symbolic Logic, Tome 65 (2000) no. 1, p. 979-1013 / Harvested from Project Euclid
We introduce a sequent calculus B for a new logic, named basic logic. The aim of basic logic is to find a structure in the space of logics. Classical, intuitionistic, quantum and non-modal linear logics, are all obtained as extensions in a uniform way and in a single framework. We isolate three properties, which characterize B positively: reflection, symmetry and visibility. A logical constant obeys to the principle of reflection if it is characterized semantically by an equation binding it with a metalinguistic link between assertions, and if its syntactic inference rules are obtained by solving that equation. All connectives of basic logic satisfy reflection. To the control of weakening and contraction of linear logic, basic logic adds a strict control of contexts, by requiring that all active formulae in all rules are isolated, that is visible. From visibility, cut-elimination follows. The full, geometric symmetry of basic logic induces known symmetries of its extensions, and adds a symmetry among them, producing the structure of a cube.
Publié le : 2000-09-14
Classification: 
@article{1183746166,
     author = {Sambin, Giovanni and Battilotti, Giulia and Faggian, Claudia},
     title = {Basic Logic: Reflection, Symmetry, Visibility},
     journal = {J. Symbolic Logic},
     volume = {65},
     number = {1},
     year = {2000},
     pages = { 979-1013},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183746166}
}
Sambin, Giovanni; Battilotti, Giulia; Faggian, Claudia. Basic Logic: Reflection, Symmetry, Visibility. J. Symbolic Logic, Tome 65 (2000) no. 1, pp.  979-1013. http://gdmltest.u-ga.fr/item/1183746166/