The Display Problem Revisited

In Michal Peliš Vit Punčochàr, 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
408 (#70,256)

6 months
62 (#96,207)

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?