Publication:3342540
From MaRDI portal
zbMath0549.03021MaRDI QIDQ3342540
Publication date: 1983
consequence operation; structural completeness; CK- intermediate logic; fragments of intermediate logics; implicative fragments
03B55: Intermediate logics
Related Items
Singly generated quasivarieties and residuated structures, On structural completeness of implicational logics, Hereditarily structurally complete intermediate logics: Citkin's theorem via duality