Classical modal display logic in the calculus of structures and minimal cut-free deep inference calculi for S

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,594

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

Analytics

Added to PP
2009-01-28

Downloads
3 (#1,305,007)

6 months
1 (#418,924)

Historical graph of downloads
How can I increase my downloads?

References found in this work

No references found.

Add more references