Publication:4215598
From MaRDI portal
zbMath0914.03025MaRDI QIDQ4215598
Publication date: 26 October 1998
interpolation; modal logic; intuitionistic logic; superintuitionistic logic; Beth property; new axiom schemes
Related Items