Intuitionistic modal logic and set theory

DOI10.2307/2274696zbMath0743.03035OpenAlexW2027049248MaRDI QIDQ3984426

Kevin Lano

Publication date: 27 June 1992

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274696

zbMATH Keywords

intuitionistic modal logicmodal set theoryintensional set theoryHeyting-valued setsprovability transfer

Mathematics Subject Classification ID

Theory of fuzzy sets, etc. (03E72) Modal logic (including the logic of norms) (03B45) Nonclassical and second-order set theories (03E70) Intuitionistic mathematics (03F55)

Related Items

The intuitionistic alternative set theory, Formal frameworks for approximate reasoning

Cites Work

• Unnamed Item
• Intensional mathematics
• Harvey Friedman's research on the foundations of mathematics
• Globalization of intuitionistic set theory
• Modality and possibility in some intuitionistic modal logics
• Extending Gödel's negative interpretation to ZF
• Fuzzy sets