Formulas of one propositional variable in intuitionistic logic with the Solovay modality

Abstract

A description of the free cyclic algebra over the variety of Solovay algebras, as well as over its pyramid locally finite subvarieties is given.

On products of posets and coproducts of KM-algebras

“…We start by giving the definition of Solovay algebras introduced in Esakia and Grigoglia (2008), and we study its relation with SH 2 .…”