scientific article; zbMATH DE number 5000988

MaRDI QIDQ3367330zbMATH OpenFDO

Authors Heinrich Wansing, S. P. Odintsov

Publication date 24 January 2006

zbMATH Keywords

intuitionistic logicintuitionistic modal logic with strong negation

Mathematics Subject Classification ID

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

Cited in

(12)

• Constructive predicate logic with strong negation and model theory
• 40 years of FDE: an introductory overview
• A general framework for FDE-based modal logics
• Paraconsistent modal logics
• On displaying negative modalities
• A basic system of paraconsistent Nelsonian logic of conditionals.
• Another generalization of connexive logic C
• Conditional reasoning and the shadows it casts onto the first-order logic: the Nelsonian case
• Gentzen-type methods for bilattice negation
• Logical connectives for constructive modal logic
• Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation
• Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\)

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 Q3367330)