Paracomplete Logics Dual to the Genuine Paraconsistent Logics: The Three-valued Case
| Autor: | Alejandro Hernández-Tello, Verónica Borja Macías, Marcelo E. Coniglio |
|---|---|
| Rok vydání: | 2020 |
| Předmět: |
Pure mathematics
Property (philosophy) General Computer Science 010201 computation theory & mathematics 0202 electrical engineering electronic engineering information engineering Paraconsistent logic 020207 software engineering 0102 computer and information sciences 02 engineering and technology 01 natural sciences Theoretical Computer Science Mathematics Dual (category theory) |
| Zdroj: | Electronic Notes in Theoretical Computer Science. 354:61-74 |
| ISSN: | 1571-0661 |
| DOI: | 10.1016/j.entcs.2020.10.006 |
| Popis: | In 2016 Beziau, introduce a restricted notion of paraconsistency, the so-called genuine paraconsistency. A logic is genuine paraconsistent if it rejects the laws φ,¬φ ⊢ ψ and ⊢ ¬(φ ∧ ¬φ). In that paper the author analyzes, among the three-valued logics, which of them satisfy this property. If we consider multiple-conclusion consequence relations, the dual properties of those above mentioned are ⊢ φ,¬φ and ¬(ψ∨¬ψ) ⊢. We call genuine paracomplete logics those rejecting the mentioned properties. We present here an analysis of the three-valued genuine paracomplete logics. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full Text from ScienceDirect