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

Niki, Satoru

doi:10.18778/0138-0680.2020.12

Search citation statements

Order By: Relevance

Paper Sections

Select...

Discussion1

Actuality and Empirical Negation1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2021

2023

Publication Types

Select...

Article3

Relationship

Self Cite2

Independent1

Authors

Journals

Cited by 3 publications

(2 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…L 4 is a syntactic of the logic TCC ω , introduced in [8], which in turn is a subsystem of the expansion of intuitionistic logic by empirical negation, IPC ∼ introduced in [4]. See also [16,17,18] for a comparison of these systems.…”

Section: Discussionmentioning

confidence: 99%

Another Combination of Classical and Intuitionistic Conditionals

Niki

Omori

2022

Electron. Proc. Theor. Comput. Sci.

Self Cite

View full text Add to dashboard Cite

On the one hand, classical logic is an extremely successful theory, even if not being perfect. On the other hand, intuitionistic logic is, without a doubt, one of the most important non-classical logics. But, how can proponents of one logic view the other logic? In this paper, we focus on one of the directions, namely how classicists can view intuitionistic logic. To this end, we introduce an expansion of positive intuitionistic logic, both semantically and proof-theoretically, and establish soundness and strong completeness. Moreover, we discuss the interesting status of disjunction, and the possibility of combining classical logic and minimal logic. We also compare our system with the system of Caleiro and Ramos.

show abstract

Section: Discussionmentioning

confidence: 99%

Another Combination of Classical and Intuitionistic Conditionals

Niki

Omori

2022

Electron. Proc. Theor. Comput. Sci.

Self Cite

View full text Add to dashboard Cite

show abstract

“…We shall denote the semantic consequence by |= e (e for empirical negation). For the proof system, the following system is introduced in [12], building on an axiomatization presented in [4].…”

Section: Actuality and Empirical Negationmentioning

confidence: 99%