scientific article; zbMATH DE number 4061191

MaRDI QIDQ3795646zbMATH OpenFDO

Authors Kosta Došen

Publication date 1987

zbMATH Keywords

Heyting's positive logicminimal modal logicmodal impossibility operationsnegationunderlying intuitionistic logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Modal logic (including the logic of norms) (03B45)

Recommendations

• scientific article; zbMATH DE number 4016857
• scientific article; zbMATH DE number 3884136
• Negation in the light of modal logic
• Constructive predicate logic with strong negation and model theory
• Substructural negations

Cited in

(29)

• One type of formal negationless systems
• Constructive predicate logic with strong negation and model theory
• Impossibility in belief merging
• There is more to negation than modality
• Paraconsistent logic from a modal viewpoint
• Disjunction and negation in information based semantics
• Intuitionistic negation
• Legislative theory of pure negation
• Generalized ortho negation
• External, restricted external, and internal negations in a two-dimensional logic
• scientific article; zbMATH DE number 4016857 (Why is no real title available?)
• scientific article; zbMATH DE number 4016862 (Why is no real title available?)
• scientific article; zbMATH DE number 3884136 (Why is no real title available?)
• Negation as a modality in a quantified setting
• Substructural negations
• scientific article; zbMATH DE number 3987262 (Why is no real title available?)
• Negation by iteration
• Impossibility of gathering, a certification
• scientific article; zbMATH DE number 859786 (Why is no real title available?)
• Negation in weak positional calculi
• Some classical modal logics with a necessity/impossibility operator
• Two Kinds of Logical Impossibility
• Double negation operator in logic N^*
• Formal Concept Analysis
• A categorical analysis of compatibility frames
• A non-deterministic view on non-classical negations
• Negation in the context of gaggle theory
• 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

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