The following pages link to Substructural fuzzy logics (Q5422306):
Displaying 50 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)
- 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)
- Fraïssé classes of graded relational structures (Q1643146) (← links)
- Weakening-free, non-associative fuzzy logics: micanorm-based logics (Q1677042) (← links)
- Relative congruence formulas and decompositions in quasivarieties (Q1686333) (← links)
- Involutive basic substructural core fuzzy logics: involutive mianorm-based logics (Q1697513) (← links)
- Obituary: Franco Montagna (1948--2015) (Q1699726) (← links)
- Subminimal negation (Q1699743) (← links)
- Density revisited (Q1699744) (← links)
- Implicational (semilinear) logics. III: Completeness properties (Q1745358) (← links)
- Back-and-forth systems for fuzzy first-order models (Q1795203) (← links)
- A category equivalence for odd Sugihara monoids and its applications (Q1934971) (← links)
- On involutive FL\(_{e}\)-monoids (Q1938395) (← links)
- Semilinear substructural logics with the finite embeddability property (Q1991589) (← links)
- Fuzzy sets and formal logics (Q2014418) (← links)
- Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras (Q2084960) (← links)
- Micanorm aggregation operators: basic logico-algebraic properties (Q2100423) (← links)
- Group representation for even and odd involutive commutative residuated chains (Q2157596) (← links)
- Densification via polynomials, languages, and frames (Q2229970) (← 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)
- Categories of models of \(\mathbf{R}\)-mingle (Q2311212) (← links)
- Uninorm based residual implications satisfying the modus ponens property with respect to a uninorm (Q2328834) (← links)
- The logic of pseudo-uninorms and their residua (Q2335051) (← links)
- Logics for finite \(\mathbf{UL}\) and \(\mathbf{IUL}\)-algebras are substructural fuzzy logics (Q2337882) (← links)
- A proof of the standard completeness for the involutive uninorm logic (Q2337894) (← links)
- Admissibility via natural dualities (Q2349950) (← links)
- Weakening-free fuzzy logics with the connective \(\Delta\) (Q2391677) (← links)
- Epimorphisms in varieties of residuated structures (Q2411405) (← links)
- Modus tollens with respect to uninorms: \(U\)-modus tollens (Q2658017) (← links)
- Involutive uninorm logic with fixed point enjoys finite strong standard completeness (Q2700813) (← links)
