The relation of a to prov ⌜a ⌝ in the lindenbaum sentence algebra

Journal of Symbolic Logic 38 (2):295-298 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272065

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

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

Through your library

My notes

Similar books and articles

A Necessary Relation Algebra for Mereotopology.Michael Winter, Gunther Schmidt & Ivo DÜntsch - 2001 - Studia Logica 69 (3):381-409.
Undecidability in diagonalizable algebras.V. Yu Shavrukov - 1997 - Journal of Symbolic Logic 62 (1):79-116.
Paraconsistent algebras.Walter Alexandre Carnielli & Luiz Paulo Alcantara - 1984 - Studia Logica 43 (1-2):79 - 88.
Orthoimplication algebras.J. C. Abbott - 1976 - Studia Logica 35 (2):173 - 177.
The lindenbaum fixed point algebra is undecidable.V. Yu Shavrukov - 1991 - Studia Logica 50 (1):143-147.
Relation algebras of every dimension.Roger D. Maddux - 1992 - Journal of Symbolic Logic 57 (4):1213-1229.
Quantum logics and lindenbaum property.Roberto Giuntini - 1987 - Studia Logica 46 (1):17 - 35.
An axiomatization of the finite-valued łukasiewicz calculus.Roman Tuziak - 1988 - Studia Logica 47 (1):49 - 55.
The relation of a to $\operatorname{prov} \ulcorner a \urcorner$ in the lindenbaum sentence algebra.C. F. Kent - 1973 - Journal of Symbolic Logic 38 (2):295 - 298.

Analytics

Added to PP
2009-01-28

Downloads
19 (#778,470)

6 months
2 (#1,232,442)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A course on bimodal provability logic.Albert Visser - 1995 - Annals of Pure and Applied Logic 73 (1):109-142.
Modal Matters for Interpretability Logics.Evan Goris & Joost Joosten - 2008 - Logic Journal of the IGPL 16 (4):371-412.
Around provability logic.Leo Esakia - 2010 - Annals of Pure and Applied Logic 161 (2):174-184.

View all 11 citations / Add more citations

References found in this work

Grundlagen der Mathematik.S. C. Kleene - 1940 - Journal of Symbolic Logic 5 (1):16-20.
Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.
Reflection Principles and Their Use for Establishing the Complexity of Axiomatic Systems.Georg Kreisel & Azriel Lévy - 1968 - Zeitschrift für Mathematische Logic Und Grundlagen der Mathematik 14 (1):97--142.

View all 6 references / Add more references