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
Olga Ambas. "Anshakov-Rychkov Algebras." Notre Dame J. Formal Logic 42 (4) 211 - 224, 2001. https://doi.org/10.1305/ndjfl/1063372243
Information