Pages that link to "Item:Q1095903"

The following pages link to Globalization of intuitionistic set theory (Q1095903):

Displaying 39 items.

• Bivalent and other solutions of fuzzy relational equations via linguistic hedges (Q427921) (← links)
• On minimal sets of graded attribute implications (Q526697) (← links)
• Fuzzy logic programming reduced to reasoning with attribute implications (Q529051) (← links)
• Hypersequent calculi for intuitionistic logic with classical atoms (Q636282) (← links)
• A natural interpretation of fuzzy sets and fuzzy relations (Q698758) (← links)
• Fuzzy functional dependencies: a comparative survey (Q723258) (← links)
• Derivation digraphs for dependencies in ordinal and similarity-based data (Q726160) (← links)
• Very true pseudo-BCK algebras (Q780091) (← links)
• Fuzzy Horn logic. II. Implicationally defined classes. (Q818519) (← links)
• Truth-depressing hedges and BL-logic (Q853470) (← links)
• A logic of graded attributes (Q892134) (← links)
• Linguistic truth-valued lattice-valued propositional logic system \(\ell P(X)\) based on linguistic truth-valued lattice implication algebra (Q985060) (← links)
• Heyting valued considerations on some fundamental existence theorems in modern analysis (Q1115432) (← links)
• Fuzzy logic and fuzzy set theory (Q1311425) (← links)
• Computing sets of graded attribute implications with witnessed non-redundancy (Q1615669) (← links)
• \(L\)-fuzzy sets and isomorphic lattices: are all the ``new'' results really new? (Q1634480) (← links)
• Closure structures parameterized by systems of isotone Galois connections (Q1679638) (← links)
• Undead argument: the truth-functionality objection to fuzzy theories of vagueness (Q1708883) (← links)
• On sets of graded attribute implications with witnessed non-redundancy (Q1750536) (← links)
• A proof-theoretical investigation of global intuitionistic (fuzzy) logic (Q1778065) (← links)
• Global intuitionistic analysis (Q1820781) (← links)
• On the role of logical connectives for primality and functional completeness of algebras of logics (Q2269795) (← links)
• Foundations of fuzzy sets (Q2277254) (← links)
• Relational division in rank-aware databases (Q2282883) (← links)
• A reduction theorem to compute fixpoints of fuzzy closure operators (Q2328960) (← links)
• On arithmetic in the Cantor-Łukasiewicz fuzzy set theory (Q2388435) (← links)
• Fuzzy Horn logic. I. Proof theory. (Q2580956) (← links)
• Formal concept analysis and linguistic hedges (Q2869778) (← links)
• On terminological issues regarding linguistic hedges (Q2869779) (← links)
• Attribute dependencies for data with grades I^, (Q2964405) (← links)
• Threshold Boolean logic (Q3426345) (← links)
• Fuzzy attribute logic over complete residuated lattices (Q3429322) (← links)
• FUZZY ATTRIBUTE IMPLICATIONS AND THEIR EXPRESSIVE POWER (Q3449257) (← links)
• BASIC ALGORITHM FOR ATTRIBUTE IMPLICATIONS AND FUNCTIONAL DEPENDENCIES IN GRADED SETTING (Q3526976) (← links)
• Intuitionistic modal logic and set theory (Q3984426) (← links)
• Completeness of global intuitionistic set theory (Q4358052) (← links)
• Graded LinClosure and Its Role in Relational Data Analysis (Q5452420) (← links)
• Automated prover for attribute dependencies in data with grades (Q5963137) (← links)
• Multi-adjoint lattice logic and truth-stressing hedges (Q6079416) (← links)