A lattice-valued set theory
Citations
72 citations
Cites background from "A lattice-valued set theory"
...1) of truth values [17,18,25,31,36,37], not necessarily being a chain (a first attempt in this direction is described in [17, Section 15....
[...]
39 citations
32 citations
Cites result from "A lattice-valued set theory"
...We have been inspired by a series of papers developing a theory generalizing ZF in a formally weaker logic|intuitionistic ([7], [2]) and later its strengthening commonly referred to as G odel logic ([9], [10], [11]); some results and proofs carry over to our system....
[...]
24 citations
24 citations
Cites background from "A lattice-valued set theory"
...Relation of their FST to Takeuti’s lattice-valued set theory [ 38 ] will be discussed in another paper (for a survey see the first part of [14])....
[...]
References
85 citations
15 citations
"A lattice-valued set theory" refers background or result in this paper
...In this paper, we generalize the result of [ 5 ] to lattice valued set theory....
[...]
...In [ 5 ], we extended the intuitionistic set theory by introducing the basic implication! besides the regular intuitionistic implication!I, and showed that the metamathematics of the set theory can be discussed in itself....
[...]