We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
Free Finitely Generated Linear Hilbert Algebras with Supremum.
- Authors
PRZYBYŁO, SŁAWOMIR; SŁOMCZYŃSKA, KATARZYNA
- Abstract
The variety of Hilbert algebras with supremum form the algebraic counterpart of the implicative-join fragment of Intuitionistic Propositional Logic. We show how the elements of a finite algebra from this variety can be represented as antichains in a poset. This result allows us to construct the finitely generated free algebras in its subvariety consisting of linear Hilbert algebras with supremum and to get some bounds and asymptotics for the free spectrum of linear Hilbert algebras with supremum of height 3.
- Subjects
HILBERT algebras; PARTIALLY ordered sets; FREE algebras; FUNCTIONAL analysis; INTUITIONISTIC mathematics
- Publication
Journal of Multiple-Valued Logic & Soft Computing, 2017, Vol 29, Issue 1-2, p135
- ISSN
1542-3980
- Publication type
Article