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}
}
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

References

Publications referenced by this paper.
Showing 1-7 of 7 references

The Logic of Provability

  • G. Boolos
  • 1993

Free Algebras of Non Classical Logics, Monograph, “Metsniereba

  • R. Grigolia
  • Tbilisi,
  • 1987
1 Excerpt

Heyting Algebras I. Duality Theory, Monograph, “Metsniereba

  • L. Esakia
  • Tbilisi,
  • 1985

On some properties of Magari algebras”, pages 111–127 in Logical-Semantical Investigations, Tbilisi

  • M. Abashidze
  • Metsniereba,
  • 1981
1 Excerpt

Provability interpretation of modal logics

  • R. Solovay
  • Israel Journal of Mathematics
  • 1976
1 Excerpt

The criterion of Browerian and closure algebras to be finiteliy generated

  • L. Esakia, R. Grigolia
  • Bull. Sect. Logic 6,
  • 1973
1 Excerpt

Similar Papers

Loading similar papers…