Completeness of global intuitionistic set theory
From MaRDI portal
Publication:4358052
DOI10.2307/2275544zbMath0907.03023MaRDI 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
03E70: Nonclassical and second-order set theories
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
Hypersequent calculi for intuitionistic logic with classical atoms, A natural interpretation of fuzzy sets and fuzzy relations, Note on witnessed Gödel logics with Delta, A proof-theoretical investigation of global intuitionistic (fuzzy) logic, On arithmetic in the Cantor-Łukasiewicz fuzzy set theory, Universes of fuzzy sets and axiomatizations of fuzzy set theory. I: Model-based and axiomatic approaches
Cites Work