Publication:4385350
From MaRDI portal
zbMath0898.03020MaRDI QIDQ4385350
Publication date: 1 November 1998
Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items
Monotone subintuitionistic logic: duality and transfer results, Unnamed Item, Choice-free topological duality for implicative lattices and Heyting algebras, A closer look at some subintuitionistic logics, Bounded distributive lattices with strict implication, Display calculi and other modal calculi: a comparison, Predicate logical extensions of some subintuitionistic logics