scientific article

zbMATH Open0706.03012MaRDI QIDQ3486540

Tadeusz Prucnal

Publication date: 1990

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

zbMATH Keywords

purely implicational fragments of propositional logic

Mathematics Subject Classification ID

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

Related Items (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)