A lattice-valued set theory

Archive for Mathematical Logic 38 (6):395-421 (1999)
  Copy   BIBTEX

Abstract

A lattice-valued set theory is formulated by introducing the logical implication $\to$ which represents the order relation on the lattice

Categories

Keywords

Reprint years

DOI

10.1007/s001530050134

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

Systems of Quantum Logic.Satoko Titani, Heiji Kodera & Hiroshi Aoyama - 2013 - Studia Logica 101 (1):193-217.
On an Algebra of Lattice-Valued Logic.Lars Hansen - 2005 - Journal of Symbolic Logic 70 (1):282 - 318.
Strong completeness of lattice-valued logic.Mitio Takano - 2002 - Archive for Mathematical Logic 41 (5):497-505.
Varieties of three-valued Heyting algebras with a quantifier.M. Abad, J. P. Díaz Varela, L. A. Rueda & A. M. Suardíaz - 2000 - Studia Logica 65 (2):181-198.
A Condensed Matter Interpretation of SM Fermions and Gauge Fields.I. Schmelzer - 2009 - Foundations of Physics 39 (1):73-107.
Theory of completeness for logical spaces.Kensaku Gomi - 2009 - Logica Universalis 3 (2):243-291.
More undecidable lattices of Steinitz exchange systems.L. R. Galminas & John W. Rosenthal - 2002 - Journal of Symbolic Logic 67 (2):859-878.
A representation theory for modalized distributive lattices.John Bell - manuscript
Lattice theory, quadratic spaces, and quantum proposition systems.Robert Piziak - 1990 - Foundations of Physics 20 (6):651-665.
Some remarks on the algebraic structure of the Medvedev lattice.Andrea Sorbi - 1990 - Journal of Symbolic Logic 55 (2):831-853.
Review: Makoto Itoh, On the "Lattice of $n$-Valued Functions" ($n$-Valued Logic). [REVIEW]Katuzi Ono - 1957 - Journal of Symbolic Logic 22 (1):100-101.
A lattice for the language of Aristotle's syllogistic and a lattice for the language of Vasiľév's syllogistic.Andrew Schumann - 2006 - Logic and Logical Philosophy 15 (1):17-37.
The lattice of varieties of representable relation algebras.Hajnal Andréka, Steven Givant & István Németi - 1994 - Journal of Symbolic Logic 59 (2):631-661.
On the Structure of the Medvedev Lattice.Sebastiaan A. Terwijn - 2008 - Journal of Symbolic Logic 73 (2):543 - 558.

Analytics

Added to PP
2013-11-23

Downloads
24 (#639,942)

6 months
2 (#1,232,442)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Generalized Algebra-Valued Models of Set Theory.Benedikt Löwe & Sourav Tarafder - 2015 - Review of Symbolic Logic 8 (1):192-205.
On arithmetic in the Cantor- Łukasiewicz fuzzy set theory.Petr Hájek - 2005 - Archive for Mathematical Logic 44 (6):763-782.

View all 9 citations / Add more citations

References found in this work

Completeness of global intuitionistic set theory.Satoko Titani - 1997 - Journal of Symbolic Logic 62 (2):506-528.
Completeness of Global Intuitionistic Set Theory.Satoko Titani - 1997 - Journal of Symbolic Logic 62 (2):506-528.

Add more references