<p>In Anderson and Belnap (<CitationRef CitationID="CR1">1976</CitationRef>), Meyer stated that logics which hold a weak version of the variable sharing property –referred to here as <i>quasi-relevant property</i>, QRP– are good enough when some degree of relevance is needed. In this article, research regarding the relation between the QRP and 4-valued matrices is conducted. The aim is threefold: (1) to define the class of 4-valued quasi-relevant matrices and to determine which of those hold a natural conditional; (2) to specify which matrices from the set established in 1 verify Routley and Meyer basic logic B; (3) to strengthen these logics with truth-functional modal operators following a <i>Łukasiewiczean</i> approach to modal notions.</p>

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

Truth-Functional Modal Expansions for 4-Valued Quasi-Relevant Logics

  • Sandra M. López

摘要

In Anderson and Belnap (1976), Meyer stated that logics which hold a weak version of the variable sharing property –referred to here as quasi-relevant property, QRP– are good enough when some degree of relevance is needed. In this article, research regarding the relation between the QRP and 4-valued matrices is conducted. The aim is threefold: (1) to define the class of 4-valued quasi-relevant matrices and to determine which of those hold a natural conditional; (2) to specify which matrices from the set established in 1 verify Routley and Meyer basic logic B; (3) to strengthen these logics with truth-functional modal operators following a Łukasiewiczean approach to modal notions.