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

–
0.10 Mb