scientific article

zbMATH Open0766.03005MaRDI QIDQ4025010FDOQ4025010

Paweł M. Idziak

Publication date: 22 February 1993

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

zbMATH Keywords

chainsBoolean groupsequivalential algebrasBrouwerian semilatticessubreductsdecidable first-order theoryequivalential reducts

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Other algebras related to logic (03G25) Heyting algebras (lattice-theoretic aspects) (06D20) Varieties (08B99)

Cited In (10)

• Title not available (Why is that?)
• Finite direct products of EQ-algebras
• Title not available (Why is that?)
• Equivalential algebras with conjunction on the regular elements
• On the structure of varieties with equationally definable principal congruences. II
• Flat algebras and the translation of universal Horn logic to equational logic
• Title not available (Why is that?)
• Equivalential algebras. I: Representation
• Elementary theories of generic multialgebras
• Filter distributive logics

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 Q4025010)