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

Logic and Logical Philosophy 17 (1-2):111-127 (2008)
  Copy   BIBTEX


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



    Upload a copy of this work     Papers currently archived: 94,593

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

16 (#925,739)

6 months
6 (#739,524)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Foreword.Daniele Mundici - 1998 - Studia Logica 61 (1):1-1.

Add more citations

References found in this work

Provability Interpretations of Modal Logic.Robert M. Solovay - 1981 - Journal of Symbolic Logic 46 (3):661-662.

Add more references