A Routley-Meyer semantics for truth-preserving and well-determined Łukasiewicz 3-valued logics
[EN] Łukasiewicz 3-valued logic Ł3 is often understood as the set of all valid formulas according to Łukasiewicz 3-valued matrices MŁ3. Following Wojcicki, in addition, we shall consider two alternative interpretations of Ł3: ‘truth-preserving’ Ł3a and ‘well-determined’ Ł3b defined by two different...
| Authors: | , |
|---|---|
| Format: | article |
| Status: | Versión aceptada para publicación |
| Publication Date: | 2014 |
| Country: | España |
| Institution: | Universidad de León |
| Repository: | BULERIA. Repositorio Institucional de la Universidad de León |
| OAI Identifier: | oai:buleria.unileon.es:10612/25760 |
| Online Access: | https://academic.oup.com/jigpal/article-abstract/22/1/1/639116 https://hdl.handle.net/10612/25760 |
| Access Level: | Open access |
| Keyword: | Lógica Łukasiewicz 3-valued logic Routley-Meyer semantics Paraconsistent logics 11 Lógica |
| Summary: | [EN] Łukasiewicz 3-valued logic Ł3 is often understood as the set of all valid formulas according to Łukasiewicz 3-valued matrices MŁ3. Following Wojcicki, in addition, we shall consider two alternative interpretations of Ł3: ‘truth-preserving’ Ł3a and ‘well-determined’ Ł3b defined by two different consequence relations on the 3-valued matrices MŁ3. The aim of this article is to provide a Routley–Meyer ternary semantics for each one of these three versions of Łukasiewicz 3-valued logic: Ł3, Ł3a and Ł3b. |
|---|