scientific article; zbMATH DE number 1749146
From MaRDI portal
Publication:4532132
zbMath0997.03004MaRDI QIDQ4532132
Publication date: 13 November 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Kripke semanticsintuitionistic logicsemantic analysisconstructive negationintuitionistic state-descriptionsnegation of an intuitionistic type
Related Items (2)
Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation ⋮ Dual intuitionistic logic and a variety of negations: the logic of scientific research
This page was built for publication: