The Display Problem Revisited

In Michal Peliš Vit Punčochàr (ed.), The Logica Yearbook. College Publications. pp. 143-156 (2010)
  Copy   BIBTEX

Abstract

In this essay I give a complete join semi-lattice of possible display-equivalence schemes for Display Logic, using the standard connectives, and leaving fixed only the schemes governing the star. In addition to proving the completeness of this list, I offer a discussion of the basic properties of these schemes.

Analytics

Added to PP
2014-07-23

Downloads
344 (#62,211)

6 months
69 (#78,798)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?