HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS
Alex Citkin · The Review of Symbolic Logic · 2019
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.