scientific article; zbMATH DE number 4158594

zbMATH Open0706.03012MaRDI QIDQ3486540FDOQ3486540

Authors: Tadeusz Prucnal 

Publication date: 1990

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

purely implicational fragments of propositional logic

Mathematics Subject Classification ID

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

Cited In (4)

• Bounded endomorphisms of free P-algebras
• Title not available (Why is that?)
• An algorithm for the class of pure implicational formulas
• Title not available (Why is that?)

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)