Gaggles, Gentzen and Galois: how to display your favourite substructural logic

Logic Journal of the IGPL 6 (5):669-694 (1998)
  Copy   BIBTEX


We show how to obtain cut-free Display Calculi for algebraic logics characterised by the Gaggle Theory of Dunn. These Display Calculi automatically inherit the Kripke-style relational semantics associated with gaggles thereby completing a unified, proof-theoretic, algebraic and model-theoretic picture for these logics



    Upload a copy of this work     Papers currently archived: 94,659

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


Added to PP

29 (#550,815)

6 months
6 (#738,372)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Paraconsistent Logic.David Ripley - 2015 - Journal of Philosophical Logic 44 (6):771-780.
3.1 Two Equally Valid Views of the Syntax–Semantics Interface.Chris Barker - 2007 - In Chris Barker & Pauline I. Jacobson (eds.), Direct compositionality. New York: Oxford University Press. pp. 14--102.
Bunched Logics Displayed.James Brotherston - 2012 - Studia Logica 100 (6):1223-1254.
Analyzing the core of categorial grammar.Carlos Areces & Raffaella Bernardi - 2004 - Journal of Logic, Language and Information 13 (2):121-137.

View all 7 citations / Add more citations

References found in this work

No references found.

Add more references