A note on dual‐intuitionistic logic

Kamide, Norihiro

doi:10.1002/malq.200310055

Search citation statements

Order By: Relevance

Paper Sections

Select...

Introduction1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2005

2024

Publication Types

Select...

Article5

Relationship

Self Cite0

Independent5

Authors

Journals

Cited by 6 publications

(1 citation statement)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In [27] Urbas provides an extended analysis of such sort of calculi and proves cut-elimination for some of them. Kamide [13] points out a correspondence between Goodman's logic and Nelson's constructive logic. Rauszer [20]- [22] investigates several extensions of intuitionistic logics by means of "dual operators" using algebraic and model-theoretic methods.…”

Section: Introductionmentioning

confidence: 99%

Dual Intuitionistic Logic and a Variety of Negations: The Logic of Scientific Research

Shramko

2005

Stud Logica

View full text Add to dashboard Cite

We consider a logic which is semantically dual (in some precise sense of the term) to intuitionistic. This logic can be labeled as "falsification logic": it embodies the Popperian methodology of scientific discovery. Whereas intuitionistic logic deals with constructive truth and non-constructive falsity, and Nelson's logic takes both truth and falsity as constructive notions, in the falsification logic truth is essentially non-constructive as opposed to falsity that is conceived constructively. We also briefly clarify the relationships of our falsification logic to some other logical systems.

show abstract

Section: Introductionmentioning

confidence: 99%