Free finitely generated linear Hilbert algebras with supremum

zbMATH Open1398.03217MaRDI QIDQ4963159FDOQ4963159

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/

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

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)

Cites Work

• A propositional calculus with denumerable matrix
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Brouwerian Semilattices
• FREGEAN VARIETIES
• Free spectra of linear equivalential algebras
• Title not available (Why is that?)
• Title not available (Why is that?)

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)