Free finitely generated linear Hilbert algebras with supremum

MaRDI QIDQ4963159zbMATH OpenFDO

Authors Sławomir Przybyło, Katarzyna Słomczyńska

Publication date 6 November 2018

Full work available at URL http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-29-number-1-2-2017/mvlsc-29-1-2-p-135-156/

zbMATH Keywords

free algebrasFregean varietiesfree spectraHilbert algebras with supremumGödel logic

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Representation theory of lattices (06B15) BCK-algebras, BCI-algebras (06F35) Varieties of lattices (06B20)

Recommendations

• Free algebras over a poset in varieties
• Hilbert algebras with supremum generated by finite chains
• scientific article; zbMATH DE number 3928995
• Variations of the free implicative semilattice extension of a Hilbert algebra
• On the free implicative semilattice extension of a Hilbert algebra

Cites work

• scientific article; zbMATH DE number 3884155 (Why is no real title available?)
• scientific article; zbMATH DE number 3884157 (Why is no real title available?)
• scientific article; zbMATH DE number 3819808 (Why is no real title available?)
• scientific article; zbMATH DE number 3231882 (Why is no real title available?)
• scientific article; zbMATH DE number 3245491 (Why is no real title available?)
• A propositional calculus with denumerable matrix
• Brouwerian Semilattices
• FREGEAN VARIETIES
• Free spectra of linear equivalential algebras

Cited in

(4)

• Notes on bounded Hilbert algebras with supremum
• Prelinear Hilbert algebras
• The structure of completely meet irreducible congruences in strongly Fregean algebras
• Hilbert algebras with supremum generated by finite chains

This page was built for publication: Free finitely generated linear Hilbert algebras with supremum

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4963159)