Pages that link to "Item:Q3874181"
From MaRDI portal
The following pages link to On Fuzzy Logic I Many‐valued rules of inference (Q3874181):
Displayed 50 items.
- Consistency degrees of finite theories in Łukasiewicz propositional fuzzy logic (Q703371) (← 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)
- Pavelka-style completeness in expansions of Łukasiewicz logic (Q937210) (← 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)
- First-order fuzzy logic (Q1095132) (← links)
- Fuzzy logic or Lukasiewicz logic: A clarification (Q1292092) (← links)
- Fuzzifying topology based on complete residuated lattice-valued logic. I (Q1313033) (← links)
- Fuzzifying topological groups based on completely distributed residuated lattice-valued logic. II: Quotient groups (Q1338861) (← links)
- Inferences in probability logic (Q1342214) (← links)
- Syntax of first-order lattice valued logic system FM (Q1375832) (← links)
- On implicative closure operators in approximate reasoning. (Q1401120) (← links)
- On equivalent forms of fuzzy logic systems NM and IMTL (Q1406865) (← links)
- Connecting fuzzy preorders, fuzzy consequence operators and fuzzy closure and co-closure systems (Q1414760) (← links)
- The extensions \(\mathcal L_n^{\ast}\) of the formal system \(\mathcal L^{\ast}\) and their completeness. (Q1425262) (← links)
- Compactness theorems of fuzzy semantics (Q1428901) (← links)
- On fuzzy fantastic filters of lattice implication algebras (Q1428993) (← links)
- Fuzzy \(n\)-fold positive implicative filters in lattice implication algebras (Q1429342) (← links)
- Formalized theory of general fuzzy reasoning. (Q1429865) (← links)
- Fuzzy logic programming and fuzzy control (Q1780897) (← links)
- Propositional calculus under adjointness (Q1867660) (← links)
- Integrated semantics and logic metric spaces (Q1873679) (← links)
- Similarity-based unification: A multi-adjoint approach (Q1876499) (← links)
- Implication in intuitionistic fuzzy and interval-valued fuzzy set theory: construction, classification, application (Q1881107) (← links)
- A complete many-valued logic with product-conjunction (Q1913299) (← links)
- Comparing fuzzy and crisp deduction systems (Q1914430) (← links)
- On triangular norm-based propositional fuzzy logics (Q1914464) (← links)
- Fuzzy logics as families of bivaluated logics (Q1915303) (← links)
- On the logic foundation of fuzzy reasoning (Q1961817) (← links)
- Equivalence in automata theory based on complete residuated lattice-valued logic (Q2372274) (← links)
- Multivalued logic to transform potential into actual objects (Q2454637) (← links)
- Randomization of classical inference patterns and its application (Q2465739) (← links)
- Strong non-standard completeness for fuzzy logics (Q2466757) (← links)
- Unified forms of Triple I method (Q2485521) (← links)
- What is mathematical fuzzy logic (Q2492308) (← links)
- Which logic is the real fuzzy logic? (Q2492314) (← links)
- The logic of tied implications. I: Properties, applications and representation (Q2492316) (← links)
- Computational complexity of t-norm based propositional fuzzy logics with rational truth constants (Q2492318) (← links)
- Fuzzy propositional logic associated with quantum computational gates (Q2506066) (← links)
- Issues on adjointness in multiple-valued logics (Q2509225) (← links)
- A small set of axioms for residuated logic (Q2568232) (← links)