The Display Problem Revisited

In Michal Peliš Vit Punčochàr (ed.), Logica Handbook 2010. College Publications. pp. 143-156 (2010)
Download Edit this record How to cite View on PhilPapers
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.
PhilPapers/Archive ID
Upload history
First archival date: 2015-11-21
Latest version: 2 (2016-05-15)
View other versions
Added to PP index

Total views
137 ( #29,711 of 52,804 )

Recent downloads (6 months)
18 ( #32,235 of 52,804 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.