Basic Logic: Reflection, Symmetry, Visibility

Journal of Symbolic Logic 65 (3):979-1013 (2000)
  Copy   BIBTEX


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.



    Upload a copy of this work     Papers currently archived: 74,247

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Definitional Reflection and Basic Logic.Peter Schroeder-Heister - 2013 - Annals of Pure and Applied Logic 164 (4):491-501.
Modal Logic as Metalogic.Kosta Došen - 1992 - Journal of Logic, Language and Information 1 (3):173-201.
The Elementals.Tetsuaki Iwamoto - 2012 - Logic Forum.
Cut-Elimination and Interpolation for Ω-Logic.Jacqueline Vauzeilles - 1988 - Archive for Mathematical Logic 27 (2):161-175.
Substructural Logics on Display.R. Goré - 1998 - Logic Journal of the IGPL 6 (3):451-504.
Modal Translations in Substructural Logics.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (3):283 - 336.
Proof Theory for Admissible Rules.Rosalie Iemhoff & George Metcalfe - 2009 - Annals of Pure and Applied Logic 159 (1-2):171-186.


Added to PP

7 (#1,036,066)

6 months
1 (#415,205)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Giulia Battilotti
University of Florence (PhD)

Citations of this work

Is Multiset Consequence Trivial?Petr Cintula & Francesco Paoli - 2016 - Synthese 199 (Suppl 3):741-765.
Maddy On The Multiverse.Claudio Ternullo - 2019 - In Deniz Sarikaya, Deborah Kant & Stefania Centrone (eds.), Reflections on the Foundations of Mathematics. Berlin: Springer Verlag. pp. 43-78.
Definitional Reflection and Basic Logic.Peter Schroeder-Heister - 2013 - Annals of Pure and Applied Logic 164 (4):491-501.
Logical Expressivism and Logical Relations.Lionel Shapiro - 2018 - In Ondřej Beran, Vojtěch Kolman & Ladislav Koreň (eds.), From rules to meanings. New essays on inferentialism. New York: Routledge. pp. 179-95.

View all 12 citations / Add more citations

References found in this work

No references found.

Add more references