Publication:3028968
From MaRDI portal
zbMath0626.03006MaRDI QIDQ3028968
Publication date: 1986
modal logic; intuitionistic logic; intermediate logic; Kripke-style models; Curry's propositional logics; intuitionistic accessibility relation; Johansson propositional calculus; Johansson's negation; modal accessibility relation; negation as a modal impossibility operator
03B45: Modal logic (including the logic of norms)
03B20: Subsystems of classical logic (including intuitionistic logic)
03B55: Intermediate logics
Related Items
A hybrid calculus for logic \(N^{*}\): residual finiteness and decidability, Negation in the context of gaggle theory, Dual intuitionistic logic and a variety of negations: the logic of scientific research, Equilibrium logic, Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation, Models for normal intuitionistic modal logics, Well-Founded and Partial Stable Semantics Logical Aspects