Publication:4833771
From MaRDI portal
zbMath0824.03007MaRDI QIDQ4833771
Publication date: 23 May 1995
Related Items
Monotone subintuitionistic logic: duality and transfer results, Binary modal companions for subintuitionistic logics, Implication via spacetime, Lewis meets Brouwer: constructive strict implication, Choice-free topological duality for implicative lattices and Heyting algebras, A closer look at some subintuitionistic logics, Constructive Embedding from Extensions of Logics of Strict Implication into Modal Logics