The following pages link to Substructural fuzzy logics (Q5422306):
Displaying 20 items.
- Densification of FL chains via residuated frames (Q271692) (← links)
- Co-rotation constructions of residuated semigroups (Q279424) (← links)
- Proof theory for lattice-ordered groups (Q287483) (← 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)
- A classification of certain group-like \(\mathrm{FL}_e\)-chains (Q514558) (← links)
- \(n\)-contractive BL-logics (Q535139) (← links)
- Amalgamation through quantifier elimination for varieties of commutative residuated lattices (Q661293) (← links)
- Basic substructural core fuzzy logics and their extensions: mianorm-based logics (Q679802) (← links)
- Uninorm logic with the \(n\)-potency axiom (Q695273) (← links)
- Algebraic proof theory: hypersequents and hypercompletions (Q730091) (← 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)
- (Q5084205) (← links)
- BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS (Q5159492) (← links)
- Inconsistency lemmas in algebraic logic (Q5396222) (← links)
- Construction methods for the smallest and largest uni-nullnorms on bounded lattices (Q6081917) (← links)
- Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic (Q6107297) (← links)
- A characterization of uninorms on bounded lattices via closure and interior operators (Q6137170) (← links)
