Basic logic: Reflection, symmetry, visibility

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

Abstract

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

The basic constructive logic for negation-consistency.Gemma Robles - 2008 - Journal of Logic, Language and Information 17 (2):161-181.
Modal translations in substructural logics.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (3):283 - 336.
Varieties of linear calculi.Sara Negri - 2002 - Journal of Philosophical Logic 31 (6):569-590.
Predicate logics on display.Heinrich Wansing - 1999 - Studia Logica 62 (1):49-75.
Basic proof theory.A. S. Troelstra - 1996 - New York: Cambridge University Press. Edited by Helmut Schwichtenberg.
A modal view of linear logic.Simone Martini & Andrea Masini - 1994 - Journal of Symbolic Logic 59 (3):888-899.
Modal logic as metalogic.Kosta Došen - 1992 - Journal of Logic, Language and Information 1 (3):173-201.

Analytics

Added to PP
2009-01-28

Downloads
36 (#385,000)

6 months
5 (#246,492)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Giulia Battilotti
University of Florence (PhD)

References found in this work

Proof Theory.Gaisi Takeuti - 1990 - Studia Logica 49 (1):160-161.
Display logic.Nuel D. Belnap - 1982 - Journal of Philosophical Logic 11 (4):375-417.
Elements of Intuitionism.Nicolas D. Goodman - 1979 - Journal of Symbolic Logic 44 (2):276-277.
Logical constants as punctuation marks.Kosta Došen - 1989 - Notre Dame Journal of Formal Logic 30 (3):362-381.
Proof Theory and Logical Complexity.Helmut Pfeifer & Jean-Yves Girard - 1989 - Journal of Symbolic Logic 54 (4):1493.

View all 7 references / Add more references