Globalization of intuitionistic set theory

DOI10.1016/0168-0072(87)90081-9zbMath0633.03050OpenAlexW2026053661MaRDI QIDQ1095903

Publication date: 1987

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(87)90081-9

zbMATH Keywords

embedding apartness relation complete Heyting algebra sheaf model global concepts global intuitionistic set theory GIZF

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Intuitionistic mathematics (03F55) Other aspects of forcing and Boolean-valued models (03E40)

Related Items (38)

Fuzzy Horn logic. II. Implicationally defined classes. ⋮ Computing sets of graded attribute implications with witnessed non-redundancy ⋮ FUZZY ATTRIBUTE IMPLICATIONS AND THEIR EXPRESSIVE POWER ⋮ \(L\)-fuzzy sets and isomorphic lattices: are all the ``new results really new? ⋮ Intuitionistic modal logic and set theory ⋮ Truth-depressing hedges and BL-logic ⋮ On arithmetic in the Cantor-Łukasiewicz fuzzy set theory ⋮ Closure structures parameterized by systems of isotone Galois connections ⋮ A logic of graded attributes ⋮ Multi-adjoint lattice logic and truth-stressing hedges ⋮ Attribute dependencies for data with grades I^, ⋮ Bivalent and other solutions of fuzzy relational equations via linguistic hedges ⋮ Hypersequent calculi for intuitionistic logic with classical atoms ⋮ Undead argument: the truth-functionality objection to fuzzy theories of vagueness ⋮ BASIC ALGORITHM FOR ATTRIBUTE IMPLICATIONS AND FUNCTIONAL DEPENDENCIES IN GRADED SETTING ⋮ Completeness of global intuitionistic set theory ⋮ On sets of graded attribute implications with witnessed non-redundancy ⋮ On minimal sets of graded attribute implications ⋮ Fuzzy logic programming reduced to reasoning with attribute implications ⋮ A natural interpretation of fuzzy sets and fuzzy relations ⋮ On the role of logical connectives for primality and functional completeness of algebras of logics ⋮ A proof-theoretical investigation of global intuitionistic (fuzzy) logic ⋮ Linguistic truth-valued lattice-valued propositional logic system \(\ell P(X)\) based on linguistic truth-valued lattice implication algebra ⋮ Foundations of fuzzy sets ⋮ Fuzzy functional dependencies: a comparative survey ⋮ Derivation digraphs for dependencies in ordinal and similarity-based data ⋮ Relational division in rank-aware databases ⋮ Graded LinClosure and Its Role in Relational Data Analysis ⋮ Automated prover for attribute dependencies in data with grades ⋮ Global intuitionistic analysis ⋮ Very true pseudo-BCK algebras ⋮ A reduction theorem to compute fixpoints of fuzzy closure operators ⋮ Threshold Boolean logic ⋮ Fuzzy attribute logic over complete residuated lattices ⋮ Fuzzy Horn logic. I. Proof theory. ⋮ Fuzzy logic and fuzzy set theory ⋮ Formal concept analysis and linguistic hedges ⋮ On terminological issues regarding linguistic hedges

Cites Work

This page was built for publication: Globalization of intuitionistic set theory