Hereditarily structurally complete positive logics

Review of Symbolic Logic 13 (3):483-502 (2020)
  Copy   BIBTEX

Abstract

Positive logics are $\{ \wedge, \vee, \to \}$-fragments of intermediate logics. It is clear that the positive fragment of $Int$ is not structurally complete. We give a description of all hereditarily structurally complete positive logics, while the question whether there is a structurally complete positive logic which is not hereditarily structurally complete, remains open.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,401

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2019-03-30

Downloads
34 (#698,174)

6 months
11 (#246,005)

Historical graph of downloads
How can I increase my downloads?