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)
- 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)
- 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)