Equivalential Algebras with Conjunction on Dense Elements
Equivalential Algebras with Conjunction on Dense Elements
Author(s): Sławomir Przybyło, Katarzyna SłomczyńskaSubject(s): Logic
Published by: Wydawnictwo Uniwersytetu Łódzkiego
Keywords: intuitionistic logic; Fregean varieties; equivalential algebras; dense elements
Summary/Abstract: We study the variety generated by the three-element equivalential algebra with conjunction on the dense elements. We prove the representation theorem which let us construct the free algebras in this variety.
Journal: Bulletin of the Section of Logic
- Issue Year: 51/2022
- Issue No: 4
- Page Range: 535-554
- Page Count: 20
- Language: English