A lattice-valued set theory

DOI10.1007/S001530050134zbMath0936.03048OpenAlexW2062362173MaRDI QIDQ1306800

Satoko Titani

Publication date: 15 May 2000

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s001530050134

zbMATH Keywords

sequent calculusset theoryintuitionistic logicintuitionistic set theorylattice-valued sets

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (13)

On arithmetic in the Cantor-Łukasiewicz fuzzy set theory ⋮ Systems of quantum logic ⋮ Towards a Paraconsistent Quantum Set Theory ⋮ Lifting associative operations on subposets of a complete lattice ⋮ Two types of ordinal sums of fuzzy implications on bounded lattices ⋮ A BRIDGE BETWEEN Q-WORLDS ⋮ ORTHOMODULAR-VALUED MODELS FOR QUANTUM SET THEORY ⋮ (S,N)-Implications on Bounded Lattices ⋮ On extensions of triangular norms on bounded lattices ⋮ Universes of fuzzy sets and axiomatizations of fuzzy set theory. I: Model-based and axiomatic approaches ⋮ Constructing illoyal algebra-valued models of set theory ⋮ GENERALIZED ALGEBRA-VALUED MODELS OF SET THEORY ⋮ Twist-Valued Models for Three-Valued Paraconsistent Set Theory

This page was built for publication: A lattice-valued set theory