scientific article
From MaRDI portal
Publication:3342540
zbMath0549.03021MaRDI QIDQ3342540
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
consequence operationstructural completenessCK- intermediate logicfragments of intermediate logicsimplicative fragments
Related Items (3)
Singly generated quasivarieties and residuated structures ⋮ Hereditarily structurally complete intermediate logics: Citkin's theorem via duality ⋮ On structural completeness of implicational logics
This page was built for publication:
