Empirical Negation, Co-negation and Contraposition Rule I: Semantical Investigations

DOI10.18778/0138-0680.2020.12zbMath1477.03026OpenAlexW3048600824MaRDI QIDQ5147749

Satoru Niki

Publication date: 28 January 2021

Published in: Bulletin of the Section of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.18778/0138-0680.2020.12

zbMATH Keywords

Kripke semanticsintuitionismBeth semanticsempirical negationco-negation

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (1)

Negative predication and distinctness

Cites Work

• Unnamed Item
• Unnamed Item
• Weakening and extending \(\mathbb{Z}\)
• Intuitionism. An introduction
• Variations on da Costa C systems and dual-intuitionistic logics. I: Analyses of \(C_{\omega}\) and \(CC_{\omega}\)
• Constructivism in mathematics. An introduction. Volume II
• Applications of Kripke models to Heyting-Brouwer logic
• A formalization of the propositional calculus of H-B logic
• Extensions of Priest-da Costa logic
• A paraconsistent extension of Sylvan’s logic
• Equivalence among RC-type paraconsistent logics
• Strict paraconsistency of truth-degree preserving intuitionistic logic with dual negation

This page was built for publication: Empirical Negation, Co-negation and Contraposition Rule I: Semantical Investigations