<abstract xmlns="http://www.w3.org/1999/xhtml">

<p>We introduce the definition of the three-element equivalential algebra <bold>R</bold> with conjunction on the regular elements. We study the variety generated by <bold>R</bold> and prove the Representation Theorem. Then, we construct the finitely generated free algebras and compute the free spectra in this variety.</p>
</abstract>

We introduce the definition of the three-element equivalential algebra R with conjunction on the regular elements. We study the variety generated by R and prove the Representation Theorem. Then, we construct the finitely generated free algebras and compute the free spectra in this variety.

Equivalential algebras with conjunction on the regular elements

Annales Universitatis Paedagogicae Cracoviensis. Studia Mathematica

This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International License.

{"article-title":"Equivalential algebras with conjunction on the regular elements"}

We introduce the definition of the three-element equivalential algebra R with conjunction on the regular elements. We study the variety generated by R and...

Equivalential algebras with conjunction on the regular elements

Pubblicato online: 21 gen 2022

Pagine: 63 - 75

Ricevuto: 19 mar 2021

Accettato: 09 giu 2021

DOI: https://doi.org/10.2478/aupcsm-2021-0005

Parole chiave
Fregean varieties, equivalential algebras, free algebras, free spectra

© 2021 Sławomir Przybyło, published by Sciendo

This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International License.

Equivalential algebras with conjunction on the regular elements

Pubblicato online: 21 gen 2022

Pagine: 63 - 75

Ricevuto: 19 mar 2021

Accettato: 09 giu 2021

DOI: https://doi.org/10.2478/aupcsm-2021-0005

Parole chiaveFregean varieties, equivalential algebras, free algebras, free spectra

© 2021 Sławomir Przybyło, published by Sciendo

This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International License.

Parole chiave
Fregean varieties, equivalential algebras, free algebras, free spectra