scientific article; zbMATH DE number 1749146

zbMATH Open0997.03004MaRDI QIDQ4532132FDOQ4532132

Yaroslav Shramko

Publication date: 13 November 2002

Title of this publication is not available (Why is that?)

zbMATH Keywords

intuitionistic logicKripke semanticsconstructive negationsemantic analysisintuitionistic state-descriptionsnegation of an intuitionistic type

Mathematics Subject Classification ID

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

Cited In (8)

• Constructive negation, implication, and co-implication
• Title not available (Why is that?)
• Dual intuitionistic logic and a variety of negations: the logic of scientific research
• Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation
• Title not available (Why is that?)
• Notes on constructive negation
• On the structure of involutive, contracting and expanding negations
• A semantics for conditionals with default negation

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• The basic constructive logic for negation-consistency 👍 👎
• Constructive negation, implication, and co-implication 👍 👎
• Constructive negations and paraconsistency 👍 👎
• Implementing constructive intensional negation 👍 👎
• Notes on constructive negation 👍 👎
• Conceptual Structures at Work 👍 👎
• A semantics for conditionals with default negation 👍 👎
• Constructive negation under the well-founded semantics 👍 👎

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4532132)