Classical Negation and Expansions of Belnap–Dunn Logic
| Autor: | Michael De, Hitoshi Omori |
|---|---|
| Rok vydání: | 2015 |
| Předmět: |
Discrete mathematics
Negation normal form Predicate functor logic Logic Paraconsistent logic Intuitionistic logic 16. Peace & justice De Morgan's laws Algebra symbols.namesake Negation introduction History and Philosophy of Science Negation FDE(Belnap-Dunn Logic) classical negation material implication three-valued logic Computer Science::Logic in Computer Science ddc:100 symbols Negation as failure Mathematics |
| Zdroj: | Studia Logica. 103:825-851 |
| ISSN: | 1572-8730 0039-3215 |
| DOI: | 10.1007/s11225-014-9595-7 |
| Popis: | It is known that classical negation can be recovered in some systems of non-classical logics, such as paraconsistent logic and many-valued logic. However, the notion of classical negation needs to be examined carefully. Indeed, it is often thought that classical negation can be defined uniquely. This kind of arguments usually relies on a proof-theoretic viewpoint. But, in fact, from a semantic viewpoint, the definition of classical negation is not so straightforward as we might expect. We provide such an example by considering some expansions of FDE, and present some results which give us a new insight on the notion of classical negation in systems of non-classical logic. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full text from SpringerLink