Open Access
2001 Anshakov-Rychkov Algebras
Olga Ambas
Notre Dame J. Formal Logic 42(4): 211-224 (2001). DOI: 10.1305/ndjfl/1063372243

Abstract

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.

Citation

Download Citation

Olga Ambas. "Anshakov-Rychkov Algebras." Notre Dame J. Formal Logic 42 (4) 211 - 224, 2001. https://doi.org/10.1305/ndjfl/1063372243

Information

Published: 2001
First available in Project Euclid: 12 September 2003

zbMATH: 1034.03055
MathSciNet: MR2010182
Digital Object Identifier: 10.1305/ndjfl/1063372243

Subjects:
Primary: 03B50
Secondary: 03G25

Keywords: algebraizable , completeness , many-valued logic , quasi variety

Rights: Copyright © 2001 University of Notre Dame

Vol.42 • No. 4 • 2001
Back to Top