Pages that link to "Item:Q3890664"

The following pages link to On Fuzzy Logic III. Semantical completeness of some many‐valued propositional calculi (Q3890664):

Displaying 50 items.

• Pseudovarieties of algebras with fuzzy equalities. (Q277570) (← links)
• Omitting types for infinitary \([0,1]\)-valued logic (Q386155) (← links)
• A survey of fuzzy implication algebras and their axiomatization (Q459041) (← links)
• Reasoning about norms under uncertainty in dynamic environments (Q465604) (← links)
• On minimal sets of graded attribute implications (Q526697) (← links)
• Fuzzy logic programming reduced to reasoning with attribute implications (Q529051) (← links)
• The law of importation versus the exchange principle on fuzzy implications (Q533167) (← links)
• Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\) (Q545319) (← links)
• Linguistically oriented fuzzy logic control and its design (Q678774) (← links)
• Variety theorem for algebras with fuzzy orders (Q679841) (← links)
• Fuzzy functional dependencies: a comparative survey (Q723258) (← links)
• Derivation digraphs for dependencies in ordinal and similarity-based data (Q726160) (← links)
• Pumping lemma in automata theory based on complete residuated lattice-valued logic: a note (Q853474) (← links)
• Fuzzy logic with countable evaluated syntax revisited (Q878970) (← links)
• Fuzzy inequational logic (Q892182) (← links)
• On WLI-ideal space and the properties of WLI-ideals in lattice implication algebra (LIA) (Q1034954) (← links)
• Fuzzy sets - the approximation of semisets (Q1057856) (← links)
• On standard models of fuzzy modal logics (Q1108260) (← links)
• Rules of inference in fuzzy sentential logic (Q1267518) (← links)
• The three semantics of fuzzy sets (Q1282902) (← links)
• A survey on different triangular norm-based fuzzy logics (Q1299619) (← links)
• Algebraic structures in fuzzy logic (Q1311717) (← links)
• Fuzzifying topology based on complete residuated lattice-valued logic. I (Q1313033) (← links)
• Fuzzy refutations for probability and multivalued logics (Q1344254) (← links)
• Open problems from the 2nd International Conference on Fuzzy Sets Theory and Its Applications (Q1367466) (← links)
• The relation between inference and interpolation in the framework of fuzzy systems (Q1367483) (← links)
• Characterizations of fuzzy finite automata. (Q1426246) (← links)
• Formal theories and linguistic descriptions. (Q1428681) (← links)
• A calculus for containment of fuzzy attributes (Q1626212) (← links)
• The role of metalanguage in graded logical approaches (Q1677946) (← links)
• A note on axiomatizations of Pavelka-style complete fuzzy logics (Q1697340) (← links)
• Perfect Pavelka logic (Q1697361) (← links)
• On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions (Q1699738) (← links)
• Coding tree languages based on lattice-valued logic (Q1701899) (← links)
• On sets of graded attribute implications with witnessed non-redundancy (Q1750536) (← links)
• Extension properties and subdirect representation in abstract algebraic logic (Q1756591) (← links)
• Characterizations of complete residuated lattice-valued finite tree automata (Q1759726) (← links)
• Fuzzy logic programming and fuzzy control (Q1780897) (← links)
• Using one axiom to characterize \(L\)-fuzzy rough approximation operators based on residuated lattices (Q1794877) (← links)
• A new model for linguistic modifiers (Q1809341) (← links)
• \(L\)-valued propositional logic \(L_{\text{vpl}}\) (Q1818981) (← links)
• Lattice-type fuzzy order is uniquely given by its 1-cut: Proof and consequences (Q1826617) (← links)
• \(U\)-Sets as a possibilistic set theory (Q1827315) (← links)
• Similarities between powersets of terms (Q1827316) (← links)
• Fuzzy control from the logical point of view (Q1914398) (← links)
• Fuzzy logics as families of bivaluated logics (Q1915303) (← links)
• Fuzzy logic and arithmetical hierarchy (Q1920268) (← links)
• On the logic foundation of fuzzy reasoning (Q1961817) (← links)
• Pavelka-style fuzzy logic in retrospect and prospect (Q2014419) (← links)
• A paraconsistent many-valued similarity method for multi-attribute decision making (Q2035364) (← links)