Anshakov-Rychkov Algebras

Ambas, Olga

Ambas, Olga

Notre Dame J. Formal Logic, Tome 42 (2001) no. 4, p. 211-224 / Harvested from Project Euclid

Résumé

The aim of this paper is to show that the calculi described by Anshakov and Rychkov are algebraizable in the sense of Blok and Pigozzi. As a consequence, a proof of the strong completeness of these calculi is obtained.

Publié le : 2001-10-14
Classification: many-valued logic, algebraizable, completeness, quasi variety, 03B50, 03G25

@article{1063372243,
     author = {Ambas, Olga},
     title = {Anshakov-Rychkov Algebras},
     journal = {Notre Dame J. Formal Logic},
     volume = {42},
     number = {4},
     year = {2001},
     pages = { 211-224},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1063372243}
}

Ambas, Olga. Anshakov-Rychkov Algebras. Notre Dame J. Formal Logic, Tome 42 (2001) no. 4, pp.  211-224. http://gdmltest.u-ga.fr/item/1063372243/