scientific article; zbMATH DE number 4158594

MaRDI QIDQ3486540zbMATH OpenFDO

Authors Tadeusz Prucnal

Publication date 1990

zbMATH Keywords

purely implicational fragments of propositional logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• scientific article; zbMATH DE number 66912
• Endoprimal implication algebras
• scientific article; zbMATH DE number 4008369
• The Relevant Equivalence Property
• Formalization of functionally complete propositional calculus with the functor of implication as the only primitive term

Cited in

(4)

• An algorithm for the class of pure implicational formulas
• scientific article; zbMATH DE number 7325813 (Why is no real title available?)
• scientific article; zbMATH DE number 66912 (Why is no real title available?)
• Bounded endomorphisms of free P-algebras

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3486540)