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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

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

Through your library

Similar books and articles

Hereditarily structurally complete modal logics.V. V. Rybakov - 1995 - Journal of Symbolic Logic 60 (1):266-288.
Admissibility in Positive Logics.Alex Citkin - 2017 - Logica Universalis 11 (4):421-437.
A constructive negation for logics including TW+.Gemma Robles & José M. Méndez - 2005 - Journal of Applied Non-Classical Logics 15 (4):389-404.
Weaker D-Complete Logics.Norman Megill & Martin Bunder - 1996 - Logic Journal of the IGPL 4 (2):215-225.
On two properties of structurally complete logics.Andrzej Biela & Wies law Dziobiak - 1982 - Bulletin of the Section of Logic 11 (3/4):154-158.
On two properties of structurally complete logics.Andrzej Biela & Wieslaw Dziobiak - 1982 - Bulletin of the Section of Logic 11 (3-4):154-158.
Towards structurally-free theorem proving.M. Finger - 1998 - Logic Journal of the IGPL 6 (3):425-449.
Projective unification in modal logic.Wojciech Dzik & Piotr Wojtylak - 2012 - Logic Journal of the IGPL 20 (1):121-153.

Analytics

Added to PP
2019-03-30

Downloads
20 (#749,846)

6 months
4 (#800,606)

Historical graph of downloads
How can I increase my downloads?