Self-extensionality in Four-Valued Paradefinite Logics
摘要
A logic \(\mathbf {L}\) is self-extensional if it allows to replace occurrences of a formula by occurrences of an \(\mathbf {L}\) -equivalent one in the context of claims about logical consequence and logical validity. In this paper we show that (up to the choice of the primitive connectives) there are exactly three self-extensional four-valued paradefinite logics which have conjunction, disjunction and implication. We also investigate the maim properties of these logics.