Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
From MaRDI portal
Publication:3693510
DOI10.2307/2274139zbMath0575.03015OpenAlexW2082736027MaRDI QIDQ3693510
Publication date: 1984
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2274139
sheaf modelintuitionistic ZFGödel's implicationmin-conjunctioncomplete Gentzen-type formalizationresiduation operation
Fuzzy logic; logic of vagueness (03B52) Theory of fuzzy sets, etc. (03E72) Nonclassical and second-order set theories (03E70) Many-valued logic (03B50) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Other aspects of forcing and Boolean-valued models (03E40)
Related Items (74)
A multi-periods production-inventory model with capacity constraints for multi-manufacturers - a global optimality in intuitionistic fuzzy environment ⋮ Implication in intuitionistic fuzzy and interval-valued fuzzy set theory: construction, classification, application ⋮ A BILATTICE-BASED FRAMEWORK FOR HANDLING GRADED TRUTH AND IMPRECISION ⋮ First-order Gödel logics ⋮ Subsethood, entropy, and cardinality for interval-valued fuzzy sets -- an algebraic derivation ⋮ \(L\)-fuzzy sets and isomorphic lattices: are all the ``new results really new? ⋮ Globalization of intuitionistic set theory ⋮ An interpolating by pass to Pareto optimality in intuitionistic fuzzy technique for a EOQ model with time sensitive backlogging ⋮ Fuzzy sets in approximate reasoning. II: Logical approaches ⋮ On arithmetic in the Cantor-Łukasiewicz fuzzy set theory ⋮ Weakening-free fuzzy logics with the connective \(\Delta\) ⋮ Ordered sets R and Q as bases of Kripke models ⋮ Universes of fuzzy sets and axiomatizations of fuzzy set theory. II: Category theoretic approaches ⋮ Basic intuitionistic principles in fuzzy set theories and its extensions (a terminological debate on Atanassov IFS) ⋮ CORRELATION COEFFICIENT BETWEEN GENERALIZED ATANASSOV'S INTUITIONISTIC FUZZY SETS ⋮ On cuts of Atanassov's intuitionistic fuzzy sets with respect to fuzzy connectives ⋮ Fixed-point results related to \(b\)-intuitionistic fuzzy metric space ⋮ Backlogging EOQ model for promotional effort and selling price sensitive demand- an intuitionistic fuzzy approach ⋮ Monadic Fragments of Gödel Logics: Decidability and Undecidability Results ⋮ Atanassov's intuitionistic fuzzy submodules with respect to a t-norm. ⋮ A note on standard completeness for some extensions of uninorm logic ⋮ On good EQ-algebras ⋮ On some properties of p-ideals based on intuitionistic fuzzy sets ⋮ Nested sequents for intermediate logics: the case of Gödel-Dummett logics ⋮ On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions ⋮ Density revisited ⋮ Fixed points of involutive interval-valued negations ⋮ First-order satisfiability in Gödel logics: an NP-complete fragment ⋮ Monotone operators on Gödel logic ⋮ AN OVERVIEW OF DISTANCE AND SIMILARITY MEASURES OF INTUITIONISTIC FUZZY SETS ⋮ On the relevance of some families of fuzzy sets ⋮ Density elimination ⋮ A Multiple-Conclusion Calculus for First-Order Gödel Logic ⋮ 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10 ⋮ Implicational (semilinear) logics. III: Completeness properties ⋮ Extended fuzzy constructive logic ⋮ A natural interpretation of fuzzy sets and fuzzy relations ⋮ Hypersequent and display calculi -- a unified perspective ⋮ Fuzzy semantics for multiple-conclusion sequential calculi with structural rules ⋮ 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 ⋮ 1998–99 Annual Meeting of the Association for Symbolic Logic ⋮ The generalized truth degree of quantitative logic in the logic system \(\mathcal L_n^*\) (\(n\)-valued NM-logic system) ⋮ Foundations of fuzzy sets ⋮ The Skolemization of existential quantifiers in intuitionistic logic ⋮ Foundations of a set theory for fuzzy sets. 40 years of development ⋮ Weakly implicative (fuzzy) logics. I: Basic properties ⋮ General IF-sets with triangular norms and their applications to group decision making ⋮ Strong standard completeness for continuous t-norms ⋮ 2004 Summer Meeting of the Association for Symbolic Logic ⋮ A cardinality theory for vaguely defined objects -- Problems of inequalities and applications ⋮ Uniform proofs of standard completeness for extensions of first-order MTL ⋮ Unnamed Item ⋮ Continuous Fraïssé conjecture ⋮ SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability ⋮ A NONLINEAR PROGRAMMING APPROACH TO MATRIX GAMES WITH PAYOFFS OF ATANASSOV'S INTUITIONISTIC FUZZY SETS ⋮ On fuzzy convergence ⋮ Global intuitionistic analysis ⋮ INNER PRODUCT BASED ENTROPY IN THE INTUITIONISTIC FUZZY SETTING ⋮ Note on witnessed Gödel logics with Delta ⋮ Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras ⋮ Mathematical fuzzy logic as a tool for the treatment of vague information ⋮ A proof of the standard completeness for the involutive uninorm logic ⋮ Fuzzy logic and fuzzy set theory ⋮ Algebraic structures in fuzzy logic ⋮ Remarks on the intuitionistic fuzzy sets ⋮ Generalized cardinal numbers and operations on them ⋮ Automated inferencing ⋮ Mathematical aspects of fuzzy sets and fuzzy logic. Some reflections after 40 years ⋮ Terminological difficulties in fuzzy set theory -- the case of ``intuitionistic fuzzy sets ⋮ Answer to D. Dubois, S. Gottwald, P. Hajek, J. Kacprzyk and H. Prade's paper ``Terminological difficulties in fuzzy set theory -- the case of ``intuitionistic fuzzy sets' ⋮ Propositional calculus under adjointness ⋮ Gentzen calculi for the existence predicate ⋮ From semantic games to provability: the case of Gödel logic
Cites Work
This page was built for publication: Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
