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

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

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

Links

PhilArchive



    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

Analytics

Added to PP
2013-11-24

Downloads
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