The following pages link to (Q3484812):
Displaying 24 items.
- Reasoning about mathematical fuzzy logic and its future (Q419039) (← links)
- Algebraic Kripke-style semantics for relevance logics (Q484156) (← links)
- Elements of model theory in higher-order fuzzy logic (Q695272) (← links)
- Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results (Q876491) (← links)
- First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties (Q1035653) (← links)
- Formalized theory of general fuzzy reasoning. (Q1429865) (← links)
- A note on axiomatizations of Pavelka-style complete fuzzy logics (Q1697340) (← links)
- Back-and-forth systems for fuzzy first-order models (Q1795203) (← links)
- A complete many-valued logic with product-conjunction (Q1913299) (← links)
- Pavelka-style fuzzy logic in retrospect and prospect (Q2014419) (← links)
- Triangular norm based predicate fuzzy logics (Q2270233) (← links)
- On expansions of WNM t-norm based logics with truth-constants (Q2270234) (← links)
- Subtypes in fuzzy type theory (Q2328911) (← links)
- Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics (Q2380337) (← links)
- What is mathematical fuzzy logic (Q2492308) (← links)
- (Q3143796) (← links)
- (Q3484813) (← links)
- (Q4351227) (← links)
- Vagueness and Formal Fuzzy Logic: Some Criticisms (Q4565825) (← links)
- (Q5288320) (← links)
- On lifting quasi-filters and strong lifting quasi-filters in MV-algebras (Q5298464) (← links)
- A Residuated Lattice of L-Fuzzy Subalgebras of a Mono-Unary Algebra (Q5874611) (← links)
- \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\) (Q5946327) (← links)
- Rational Pavelka logic: the best among three worlds? (Q6083147) (← links)
