Pages that link to "Item:Q3874181"
From MaRDI portal
The following pages link to On Fuzzy Logic I Many‐valued rules of inference (Q3874181):
Displaying 50 items.
- Logics for approximate entailment in ordered universes of discourse (Q256484) (← links)
- Pseudovarieties of algebras with fuzzy equalities. (Q277570) (← links)
- Construction of finite \(\mathbf L\)-groups. (Q279347) (← links)
- Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction (Q352963) (← links)
- Omitting types for infinitary \([0,1]\)-valued logic (Q386155) (← links)
- Reasoning about mathematical fuzzy logic and its future (Q419039) (← links)
- Normal residuated lattices (Q496998) (← links)
- An investigation on Boolean prime filters in BL-algebras (Q521727) (← links)
- On minimal sets of graded attribute implications (Q526697) (← links)
- Knowledge spaces with graded knowledge states (Q543830) (← links)
- Operators on Pavelka's algebras induced by fuzzy relations (Q679836) (← links)
- Variety theorem for algebras with fuzzy orders (Q679841) (← links)
- Automata theory based on complete residuated lattice-valued logic: Turing machines (Q690917) (← links)
- Elements of model theory in higher-order fuzzy logic (Q695272) (← links)
- Consistency degrees of finite theories in Łukasiewicz propositional fuzzy logic (Q703371) (← links)
- Fuzzy functional dependencies: a comparative survey (Q723258) (← links)
- Derivation digraphs for dependencies in ordinal and similarity-based data (Q726160) (← links)
- Algebras with fuzzy equalities (Q812608) (← links)
- On revising fuzzy belief bases (Q813072) (← links)
- Fuzzy Horn logic. II. Implicationally defined classes. (Q818519) (← links)
- The logic of tied implications. II. Syntax (Q853468) (← links)
- Binary resolution over Boolean lattices (Q853473) (← links)
- Pumping lemma in automata theory based on complete residuated lattice-valued logic: a note (Q853474) (← links)
- Possibilistic conditioning framed in fuzzy logics (Q855816) (← links)
- Filter-based resolution principle for lattice-valued propositional logic LP\((X)\) (Q867665) (← links)
- An intrinsic fuzzy set on the universe of discourse of predicate formulas (Q869114) (← links)
- Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results (Q876491) (← links)
- A logic of graded attributes (Q892134) (← links)
- Fuzzy inequational logic (Q892182) (← links)
- An algebraic study of Peterson's intermediate syllogisms (Q894314) (← links)
- Graded consequence: an institution theoretic study (Q894661) (← links)
- An axiomatizable logical foundation for lattice-ordered qualitative linguistic approach for reasoning with words (Q903641) (← links)
- Pavelka-style completeness in expansions of Łukasiewicz logic (Q937210) (← links)
- Standard Gödel modal logics (Q965908) (← links)
- Residuated lattices of size \(\leq 12\) (Q981681) (← links)
- Automata theory based on complete residuated lattice-valued logic: Reduction and minimization (Q983034) (← links)
- Graded consequence revisited (Q983060) (← links)
- Paraconsistent semantics for Pavelka style fuzzy sentential logic (Q983066) (← links)
- On the (fuzzy) logical content of CADIAG-2 (Q983067) (← links)
- The generalized truth degree of quantitative logic in the logic system \(\mathcal L_n^*\) (\(n\)-valued NM-logic system) (Q988221) (← links)
- Confluence and termination of fuzzy relations (Q991880) (← links)
- On vagueness, truth values and fuzzy logics (Q1015491) (← links)
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies (Q1024552) (← links)
- A note on Trillas' CHC models (Q1028906) (← links)
- On WLI-ideal space and the properties of WLI-ideals in lattice implication algebra (LIA) (Q1034954) (← links)
- First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties (Q1035653) (← links)
- Automata theory based on complete residuated lattice-valued logic: Pushdown automata (Q1037929) (← links)
- Pumping Lemma in context-free grammar theory based on complete residuated lattice-valued logic (Q1037930) (← links)
- EQ-algebras (Q1043290) (← links)
- Algebras of fuzzy sets (Q1043291) (← links)