# Formulas of One Propositional Variable in Intuitionistic Logic with the Solovay Modality

@inproceedings{Esakia2013FormulasOO, title={Formulas of One Propositional Variable in Intuitionistic Logic with the Solovay Modality}, author={Leo Esakia}, year={2013} }

- Published 2013

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

#### From This Paper

##### Figures, tables, and topics from this paper.

1 Citations

7 References

Similar Papers

#### Citations

##### Publications citing this paper.

#### References

##### Publications referenced by this paper.

Showing 1-7 of 7 references