Strong completeness of lattice-valued logic
暂无分享，去创建一个
Abstract. Strong completeness of S. Titani's system for lattice valued logic is shown by means of Dedekind cuts.
[1] M. Baaz. Infinite-valued Gödel logics with $0$-$1$-projections and relativizations , 1996 .
[2] Satoko Titani. A lattice-valued set theory , 1999, Arch. Math. Log..