scientific article
From MaRDI portal
Publication:2715517
zbMath0974.03019MaRDI QIDQ2715517
Publication date: 18 December 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items
Polarity semantics for negation as a modal operator ⋮ The Došen square under construction: a tale of four modalities ⋮ Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation ⋮ Logics with Impossibility as the Negation and Regular Extensions of the Deontic Logic D2 ⋮ Subminimal negation ⋮ Order-dual relational semantics for non-distributive propositional logics: a general framework ⋮ Intuitionistic propositional logic with Galois negations ⋮ Empirical Negation, Co-negation and Contraposition Rule I: Semantical Investigations ⋮ On Split Negation, Strong Negation, Information, Falsification, and Verification ⋮ Reasoning with Incomplete Information in Generalized Galois Logics Without Distribution: The Case of Negation and Modal Operators ⋮ Weakening and extending \(\mathbb{Z}\) ⋮ Computational complexity for bounded distributive lattices with negation ⋮ Negation in the context of gaggle theory ⋮ Dual intuitionistic logic and a variety of negations: the logic of scientific research