Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations
| Autor: | Satoru Niki |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2020 |
| Předmět: | |
| Zdroj: | Bulletin of the Section of Logic, Vol 49, Iss 4, Pp 359-375 (2020) |
| Druh dokumentu: | article |
| ISSN: | 0138-0680 2449-836X |
| DOI: | 10.18778/0138-0680.2020.13 |
| Popis: | We continue the investigation of the first paper where we studied logics with various negations including empirical negation and co-negation. We established how such logics can be treated uniformly with R. Sylvan's CCω as the basis. In this paper we use this result to obtain cut-free labelled sequent calculi for the logics. |
| Databáze: | Directory of Open Access Journals |
| Externí odkaz: |
|