scientific article

zbMath0991.03011MaRDI QIDQ2772905

Piotr Wojtylak, Andrzej Wroński

Publication date: 3 September 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

intuitionistic logicfinite axiomatizabilityequivalential fragment

Mathematics Subject Classification ID

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

Related Items (1)

Free equivalential algebras

This page was built for publication: