RO  EN
IMI/Publicaţii/BASM/Ediţii/BASM n.2 (72) -n.3 (73), 2013/

Infinitely many maximal primitive positive clones in a diagonalizable algebra

Authors: Rusu Andrei

Abstract

We present a rather simple example of infinitely many maximal primitive positive clones in a diagonalizable algebra, which serve as an algebraic model for the provability propositional logic GL.

Ovidius University of Constanta
bd. Mamaia 124, Constanta, Romania
Information Society Development Institute
str. Academiei 5a, Chisinau, Moldova
E-mail: ,

Fulltext

Adobe PDF document0.10 Mb