scientific article
From MaRDI portal
Publication:3795646
zbMath0651.03003MaRDI QIDQ3795646
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
negationHeyting's positive logicminimal modal logicmodal impossibility operationsunderlying intuitionistic logic
Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (3)
Polarity semantics for negation as a modal operator ⋮ Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation ⋮ Paraconsistent logic from a modal viewpoint
This page was built for publication:
