The following pages link to Substructural fuzzy logics (Q5422306):
Displayed 29 items.
- Densification of FL chains via residuated frames (Q271692) (← links)
- Co-rotation constructions of residuated semigroups (Q279424) (← links)
- \(\mathbf R\) and relevance principle revisited (Q381004) (← links)
- On an axiomatic system for the logic of linearly ordered BCI-matrices (Q412072) (← links)
- Algebraic Kripke-style semantics for relevance logics (Q484156) (← links)
- \(n\)-contractive BL-logics (Q535139) (← links)
- Amalgamation through quantifier elimination for varieties of commutative residuated lattices (Q661293) (← links)
- Uninorm logic with the \(n\)-potency axiom (Q695273) (← links)
- Uniform proofs of standard completeness for extensions of first-order MTL (Q744987) (← links)
- On the difference between traditional and deductive fuzzy logic (Q835115) (← links)
- Fuzzy logics based on \([0,1)\)-continuous uninorms (Q884954) (← links)
- A note on standard completeness for some extensions of uninorm logic (Q894654) (← links)
- Density elimination (Q944384) (← links)
- Implicational (semilinear) logics. I: A new hierarchy (Q971883) (← links)
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies (Q1024552) (← links)
- A category equivalence for odd Sugihara monoids and its applications (Q1934971) (← links)
- On involutive FL\(_{e}\)-monoids (Q1938395) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- Triangular norm based predicate fuzzy logics (Q2270233) (← links)
- Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions (Q2270235) (← links)
- On triangular norms and uninorms definable in Ł\(\Pi \frac{1}{2}\) (Q2270383) (← links)
- Admissibility via natural dualities (Q2349950) (← links)
- Weakening-free fuzzy logics with the connective \(\Delta\) (Q2391677) (← links)
- The finite model property for semilinear substructural logics (Q2856632) (← links)
- Tools for the Investigation of Substructural and Paraconsistent Logics (Q2938481) (← links)
- Mathematical Fuzzy Logics (Q3503741) (← links)
- Idempotent residuated structures: Some category equivalences and their applications (Q5246960) (← links)
- Inconsistency lemmas in algebraic logic (Q5396222) (← links)
- NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES (Q5402233) (← links)