scientific article; zbMATH DE number 120349

MaRDI QIDQ4025010zbMATH OpenFDO

Authors Paweł M. Idziak

Publication date 22 February 1993

zbMATH Keywords

Boolean groupsBrouwerian semilatticeschainsdecidable first-order theoryequivalential algebrasequivalential reductssubreducts

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)

Recommendations

• scientific article; zbMATH DE number 14392
• scientific article; zbMATH DE number 1463145
• scientific article; zbMATH DE number 966889
• Basic properties of the equivalence
• scientific article; zbMATH DE number 179050

Cited in

(21)

• Filter distributive logics
• Equivalential algebras. II: Independence
• Elementary theories of generic multialgebras
• Equivalential algebras. I: Representation
• Equivalential algebras with conjunction on the regular elements
• Finite direct products of EQ-algebras
• Algebraic semantics for the (, )-fragment of IPC
• scientific article; zbMATH DE number 440025 (Why is no real title available?)
• scientific article; zbMATH DE number 440029 (Why is no real title available?)
• scientific article; zbMATH DE number 4066986 (Why is no real title available?)
• scientific article; zbMATH DE number 14392 (Why is no real title available?)
• scientific article; zbMATH DE number 31603 (Why is no real title available?)
• scientific article; zbMATH DE number 179050 (Why is no real title available?)
• scientific article; zbMATH DE number 1463145 (Why is no real title available?)
• scientific article; zbMATH DE number 4120153 (Why is no real title available?)
• scientific article; zbMATH DE number 915947 (Why is no real title available?)
• Flat algebras and the translation of universal Horn logic to equational logic
• scientific article; zbMATH DE number 966889 (Why is no real title available?)
• On the structure of varieties with equationally definable principal congruences. II
• Basic properties of the equivalence
• Free equivalential 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 Q4025010)