科研之友
微信
新浪微博
Facebook
分享链接
摘要
Lukasiewicz 3-valued logic L3 is often understood as the set of all valid formulas according to Lukasiewicz 3-valued matrices ML3. Following Wojcicki, in addition, we shall consider two alternative interpretations of L3: %26apos;truth-preserving%26apos; L3a and %26apos;well-determined%26apos; L3b defined by two different consequence relations on the 3-valued matrices ML3. The aim of this article is to provide a Routley-Meyer ternary semantics for each one of these three versions of Lukasiewicz 3-valued logic: L3, L3a and L3b.
- 出版日期2014-2
