Wajsberg algebras.

Josep M. Font; Antonio J. Rodríguez; Antoni Torrens

Stochastica (1984)

  • Volume: 8, Issue: 1, page 5-31
  • ISSN: 0210-7821

Abstract

top
We present the basic theory of the most natural algebraic counterpart of the ℵ0-valued Lukasiewicz calculus, strictly logically formulated. After showing its lattice structure and its relation to C. C. Chang's MV-algebras we study the implicative filters and prove its equivalence to congruence relations. We present some properties of the variety of all Wajsberg algebras, among which there is a representation theorem. Finally we give some characterizations of linear, simple and semisimple algebras.

How to cite

top

Font, Josep M., Rodríguez, Antonio J., and Torrens, Antoni. "Wajsberg algebras.." Stochastica 8.1 (1984): 5-31. <http://eudml.org/doc/38902>.

@article{Font1984,
abstract = {We present the basic theory of the most natural algebraic counterpart of the ℵ0-valued Lukasiewicz calculus, strictly logically formulated. After showing its lattice structure and its relation to C. C. Chang's MV-algebras we study the implicative filters and prove its equivalence to congruence relations. We present some properties of the variety of all Wajsberg algebras, among which there is a representation theorem. Finally we give some characterizations of linear, simple and semisimple algebras.},
author = {Font, Josep M., Rodríguez, Antonio J., Torrens, Antoni},
journal = {Stochastica},
keywords = {Algebras de Wajsberg; MV-algebras; implicative filters; congruence relations; representation theorem},
language = {eng},
number = {1},
pages = {5-31},
title = {Wajsberg algebras.},
url = {http://eudml.org/doc/38902},
volume = {8},
year = {1984},
}

TY - JOUR
AU - Font, Josep M.
AU - Rodríguez, Antonio J.
AU - Torrens, Antoni
TI - Wajsberg algebras.
JO - Stochastica
PY - 1984
VL - 8
IS - 1
SP - 5
EP - 31
AB - We present the basic theory of the most natural algebraic counterpart of the ℵ0-valued Lukasiewicz calculus, strictly logically formulated. After showing its lattice structure and its relation to C. C. Chang's MV-algebras we study the implicative filters and prove its equivalence to congruence relations. We present some properties of the variety of all Wajsberg algebras, among which there is a representation theorem. Finally we give some characterizations of linear, simple and semisimple algebras.
LA - eng
KW - Algebras de Wajsberg; MV-algebras; implicative filters; congruence relations; representation theorem
UR - http://eudml.org/doc/38902
ER -

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.