On certain lattices of degrees of interpretability

Notre Dame Journal of Formal Logic 25 (2):127-140 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093870573

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,590

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

Certain sets of postulates for distributive lattices with the constant elements.Bolesław Sobociński - 1972 - Notre Dame Journal of Formal Logic 13 (1):119-123.
Unary interpretability logic.Maarten de Rijke - 1992 - Notre Dame Journal of Formal Logic 33 (2):249-272.
On the proofs of arithmetical completeness for interpretability logic.Domenico Zambella - 1992 - Notre Dame Journal of Formal Logic 33 (4):542-551.
A Lindström Theorem for Intuitionistic Propositional Logic.Guillermo Badia - 2020 - Notre Dame Journal of Formal Logic 61 (1):11-30.
On the interpretability of arithmetic in set theory.George E. Collins & J. D. Halpern - 1970 - Notre Dame Journal of Formal Logic 11 (4):477-483.
Two identities for lattices, distributive lattices and modular lattices with a constant.Saburo Tamura - 1975 - Notre Dame Journal of Formal Logic 16 (1):137-140.
On the interpretability of arithmetic in set theory.George E. Collins - 1970 - Notre Dame Journal of Formal Logic 11:477.
Semi-Boolean lattices.William C. Nemitz - 1969 - Notre Dame Journal of Formal Logic 10 (3):235-238.
Implication connectives in orthomodular lattices.L. Herman, E. L. Marsden & R. Piziak - 1975 - Notre Dame Journal of Formal Logic 16 (3):305-328.
A short equational axiomatization of orthomodular lattices.Bolesław Sobociński - 1976 - Notre Dame Journal of Formal Logic 17 (2):317-320.

Analytics

Added to PP
2010-08-24

Downloads
27 (#142,020)

6 months
8 (#1,326,708)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Cuts, consistency statements and interpretations.Pavel Pudlák - 1985 - Journal of Symbolic Logic 50 (2):423-441.
The formalization of interpretability.Albert Visser - 1991 - Studia Logica 50 (1):81 - 105.
My route to arithmetization.Solomon Feferman - 1997 - Theoria 63 (3):168-181.
Interpretability suprema in Peano Arithmetic.Paula Henk & Albert Visser - 2017 - Archive for Mathematical Logic 56 (5-6):555-584.

View all 12 citations / Add more citations

References found in this work

No references found.

Add more references