Publication:5639697
From MaRDI portal
zbMath0232.02021MaRDI QIDQ5639697
Publication date: 1970
Full work available at URL: https://eudml.org/doc/189032
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
The Lattice NExtS41 as Composed of Replicas of NExtInt, and Beyond, Nondecidable intermediate calculus, A lattice of normal modal logics