The Pursuit of an Implication for the Logics L3A and L3B
| Autor: | Mauricio Osorio Galindo, Alejandro Hernández-Tello, José R. Arrazola Ramírez |
|---|---|
| Rok vydání: | 2017 |
| Předmět: |
Discrete mathematics
Property (philosophy) Logic Structural rule Applied Mathematics 010102 general mathematics Paraconsistent logic Relevance logic 0102 computer and information sciences 01 natural sciences Law of noncontradiction 010201 computation theory & mathematics Monoidal t-norm logic 0101 mathematics T-norm fuzzy logics Principle of explosion Mathematical economics Hardware_LOGICDESIGN Mathematics |
| Zdroj: | Logica Universalis. 11:507-524 |
| ISSN: | 1661-8300 1661-8297 |
| DOI: | 10.1007/s11787-017-0182-3 |
| Popis: | The authors of Beziau and Franceschetto (New directions in paraconsistent logic, vol 152, Springer, New Delhi, 2015) work with logics that have the property of not satisfying any of the formulations of the principle of non contradiction, Beziau and Franceschetto also analyze, among the three-valued logics, which of these logics satisfy this property. They prove that there exist only four of such logics, but only two of them are worthwhile to study. The language of these logics does not consider implication as a connective. However, the enrichment of a language with an implication connective leads us to more interesting systems, therefore we look for one implication for these logics and we study further properties that the logics obtain when this connective is added to these systems. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full text from SpringerLink