Mathematics of the USSR-Izvestiya · 1969 · 25 citations · 0 references
HumanitiesComputer ScienceMathematicsLogicIntuitionistic LogicPredicate LogicPropositional LogicIntuitionistic Propositional LogicPropositional CalculusSyntax Of Propositional Logic
Formulas in intuitionistic propositional calculus and its subsystems are studied that cannot be decomposed into a proper conjunction.