scientific article

zbMath1096.03018MaRDI QIDQ3367330

Heinrich Wansing, Sergei P. Odintsov

Publication date: 24 January 2006

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

intuitionistic logicintuitionistic modal logic with strong negation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Classical first-order logic (03B10) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (8)

Logical connectives for constructive modal logic ⋮ Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation ⋮ 40 years of FDE: an introductory overview ⋮ Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\) ⋮ On Displaying Negative Modalities ⋮ A general framework for FDE-based modal logics ⋮ Paraconsistent Modal Logics ⋮ Gentzen-type methods for bilattice negation

This page was built for publication: