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.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Self-extensionality in Four-Valued Paradefinite Logics

  • Arnon Avron

摘要

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.