×

Free algebras over a poset in varieties. (English) Zbl 1256.08003

In this paper a construction of the free algebra over a poset in a variety is defined and this result is applied to the variety of \(2\)-valued implicative semilattices and the variety of Hilbert algebras generated by finite chains.

MSC:

08B20 Free algebras
06A12 Semilattices
03G25 Other algebras related to logic
PDFBibTeX XMLCite
Full Text: DOI