The representation of Takeuti's *20c ||_ -operator

Studia Logica 42 (4):407 - 415 (1983)
  Copy   BIBTEX

Abstract

Gaisi Takeuti has recently proposed a new operation on orthomodular lattices L, ⫫: $\scr{P}(L)\rightarrow L$ . The properties of ⫫ suggest that the value of ⫫ $(A)(A\subseteq L)$ corresponds to the degree in which the elements of A behave classically. To make this idea precise, we investigate the connection between structural properties of orthomodular lattices L and the existence of two-valued homomorphisms on L

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,466

External links

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

Through your library

Similar books and articles

Gödel Sentences of Bounded Arithmetic.Gaisi Takeuti - 2000 - Journal of Symbolic Logic 65 (3):1338-1346.
Kripke Models for Linear Logic.Gerard Allwein & J. Michael Dunn - 1993 - Journal of Symbolic Logic 58 (2):514-545.
The Suszko Operator. Part I.Janusz Czelakowski - 2003 - Studia Logica 74 (1-2):181 - 231.
Transcendence of Cardinals.Gaisi Takeuti - 1965 - Journal of Symbolic Logic 30 (1):1-7.
A Formalization of the Theory of Ordinal Numbers.Gaisi Takeuti - 1965 - Journal of Symbolic Logic 30 (3):295-317.
A Transfer Principle in Harmonic Analysis.Gaisi Takeuti - 1979 - Journal of Symbolic Logic 44 (3):417-440.
On the Representation of N4-Lattices.Sergei P. Odintsov - 2004 - Studia Logica 76 (3):385 - 405.

Analytics

Added to PP
2009-01-28

Downloads
36 (#321,760)

6 months
1 (#417,143)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Michiel Van Lambalgen
University of Amsterdam

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references