Completeness of global intuitionistic set theory
From MaRDI portal
Publication:4358052
DOI10.2307/2275544zbMath0907.03023OpenAlexW2152456478MaRDI QIDQ4358052
Publication date: 2 March 1999
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2275544
Nonclassical and second-order set theories (03E70) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (6)
On arithmetic in the Cantor-Łukasiewicz fuzzy set theory ⋮ Hypersequent calculi for intuitionistic logic with classical atoms ⋮ A natural interpretation of fuzzy sets and fuzzy relations ⋮ Universes of fuzzy sets and axiomatizations of fuzzy set theory. I: Model-based and axiomatic approaches ⋮ A proof-theoretical investigation of global intuitionistic (fuzzy) logic ⋮ Note on witnessed Gödel logics with Delta
Cites Work
This page was built for publication: Completeness of global intuitionistic set theory
