Pages that link to "Item:Q881452"
From MaRDI portal
The following pages link to Residuated lattices. An algebraic glimpse at substructural logics (Q881452):
Displaying 50 items.
- Densification of FL chains via residuated frames (Q271692) (← links)
- Enriched categories and many-valued preorders: categorical, semantical, and topological perspectives (Q277330) (← links)
- Lattice-valued preordered sets as lattice-valued topological systems (Q277553) (← links)
- Minimal solutions of generalized fuzzy relational equations: probabilistic algorithm based on greedy approach (Q277560) (← links)
- A new approach for classification of filters in residuated lattices (Q277573) (← links)
- Term satisfiability in \(\mathrm{FL}_{\mathrm{ew}}\)-algebras (Q278739) (← links)
- The construction of left-continuous t-norms: a geometric approach in two dimensions (Q279423) (← links)
- Co-rotation constructions of residuated semigroups (Q279424) (← links)
- Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity (Q283093) (← links)
- Projectable \(\ell\)-groups and algebras of logic: categorical and algebraic connections. (Q284973) (← links)
- Proof theory for lattice-ordered groups (Q287483) (← links)
- Structural completeness in relevance logics (Q295911) (← links)
- The distributivity on bi-approximation semantics (Q306839) (← links)
- The semantic isomorphism theorem in abstract algebraic logic (Q324257) (← links)
- Semisimples in varieties of commutative integral bounded residuated lattices (Q332072) (← links)
- Boolean-like algebras (Q353355) (← links)
- Pseudo equality algebras (Q365672) (← links)
- The proof by cases property and its variants in structural consequence relations (Q368486) (← links)
- Generalized Bosbach states. II (Q377478) (← links)
- Generalized Bosbach and Riečan states on nucleus-based-Glivenko residuated lattices (Q377479) (← links)
- \(\mathbf R\) and relevance principle revisited (Q381004) (← links)
- Non-commutative logical algebras and algebraic quantales (Q386648) (← links)
- Varieties generated by unital abelian \(\ell\)-groups (Q401022) (← links)
- On pseudo-equality algebras. (Q403404) (← links)
- Algebraic proof theory for substructural logics: cut-elimination and completions (Q409322) (← links)
- Algorithmic correspondence and canonicity for distributive modal logic (Q409328) (← links)
- On good EQ-algebras (Q409738) (← links)
- Lattice pseudoeffect algebras as double residuated structures (Q416294) (← links)
- Reasoning about mathematical fuzzy logic and its future (Q419039) (← links)
- Extremal states on bounded residuated \(\ell\)-monoids with general comparability (Q422419) (← links)
- Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts (Q422484) (← links)
- Generalized Bosbach and Riečan states based on relative negations in residuated lattices (Q427915) (← links)
- \(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation (Q454376) (← links)
- Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics (Q454386) (← links)
- Canonical extensions and discrete dualities for finitely generated varieties of lattice-based algebras (Q454393) (← links)
- Interval MV-algebras and generalizations. (Q459040) (← links)
- A survey of fuzzy implication algebras and their axiomatization (Q459041) (← links)
- A Minty variational principle for set optimization (Q465450) (← links)
- Consistency reasoning in lattice-based fuzzy description logics (Q465592) (← links)
- Involutive residuated lattices based on modular and distributive lattices. (Q466876) (← links)
- Canonical extensions of posets. (Q466925) (← links)
- The categorical imperative: category theory as a foundation for deontic logic (Q472796) (← links)
- Logical consequence and the paradoxes (Q484113) (← links)
- Algebraic Kripke-style semantics for relevance logics (Q484156) (← links)
- Residual implications on the set of discrete fuzzy numbers (Q497580) (← links)
- Some properties of \( L\)-fuzzy approximation spaces based on bounded integral residuated lattices (Q506700) (← links)
- Gentzen-style sequent calculus for semi-intuitionistic logic (Q514513) (← links)
- A classification of certain group-like \(\mathrm{FL}_e\)-chains (Q514558) (← links)
- \(\sigma\)-ideals in distributive pseudocomplemented residuated lattices (Q521632) (← links)
- On the hierarchy of d-structures (Q523153) (← links)
