Publication:3333018
From MaRDI portal
zbMath0544.03010MaRDI QIDQ3333018
Publication date: 1983
intuitionistic propositional logic; substitution rule; structural completeness; implicational fragments; disjunction fragment
03B55: Intermediate logics
Related Items