Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations

Bulletin of the Section of Logic

Satoru Niki¹ 

[1] Japan Advanced Institute of Science and Technology School of Information Science 923-1292, 1-1 Asahidai, Nomi Ishikawa, Japan;

关键词: empirical negation;    co-negation;    labelled sequent calculus;    intuitionism;   

DOI  :  10.18778/0138-0680.2020.13

来源: DOAJ

【 摘 要 】

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.

【 授权许可】

Unknown