Pages that link to "Item:Q881452"

The following pages link to Residuated lattices. An algebraic glimpse at substructural logics (Q881452):

Displaying 50 items.

• Topological \(\operatorname{FL}_{\operatorname{ew}}\)-algebras (Q898779) (← links)
• Central points and approximation in residuated lattices (Q900262) (← links)
• Multi-adjoint algebras versus non-commutative residuated structures (Q900276) (← links)
• Dynamic order algebras as an axiomatization of modal and tense logics (Q904480) (← links)
• Filters on some classes of quantum B-algebras (Q904489) (← links)
• The Conrad program: from \(l\)-groups to algebras of logic. (Q906860) (← links)
• Monadic bounded commutative residuated \(\ell\)-monoids (Q943381) (← links)
• Continuation semantics for the Lambek-Grishin calculus (Q964491) (← links)
• Implicational (semilinear) logics. I: A new hierarchy (Q971883) (← links)
• Residuated lattices of size \(\leq 12\) (Q981681) (← links)
• Confluence and termination of fuzzy relations (Q991880) (← links)
• Semisimplicity and the discriminator in bounded BCK-algebras (Q992009) (← links)
• Maximal residuated lattices with lifting Boolean center (Q992014) (← links)
• Canonicity in subvarieties of BL-algebras (Q993324) (← links)
• Completion and finite embeddability property for residuated ordered algebras. (Q993327) (← links)
• Constructive logic with strong negation is a substructural logic. II (Q1005940) (← links)
• The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete (Q1006641) (← links)
• Distributive full Lambek calculus has the finite model property (Q1015484) (← links)
• Taking degrees of truth seriously (Q1015492) (← links)
• Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies (Q1024552) (← links)
• Commutative integral bounded residuated lattices with an added involution (Q1035650) (← links)
• First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties (Q1035653) (← links)
• On the reflection invariance of residuated chains (Q1035657) (← links)
• Generalizations of Boolean products for lattice-ordered algebras (Q1035658) (← links)
• Glivenko theorems revisited (Q1035660) (← links)
• A note on intervals of residuated \(\ell \)-groupoids (Q1040919) (← links)
• EQ-algebras (Q1043290) (← links)
• Computing sets of graded attribute implications with witnessed non-redundancy (Q1615669) (← links)
• \(n\)-fold Heyting, Boolean and pseudo-MV filters in residuated lattices (Q1617793) (← links)
• The Archimedean property: new horizons and perspectives (Q1630814) (← links)
• Dualities for Płonka sums (Q1632048) (← links)
• The unitality of quantum B-algebras (Q1640148) (← links)
• Representation of integral quantales by tolerances (Q1646602) (← links)
• The convolution algebra (Q1652865) (← links)
• The logic of the strongest and the weakest t-norms (Q1677041) (← links)
• Weakening-free, non-associative fuzzy logics: micanorm-based logics (Q1677042) (← links)
• Tense operators in fuzzy logic (Q1677045) (← links)
• Algebraic and topological results on lifting properties in residuated lattices (Q1677645) (← links)
• Maxima and minima in fuzzified linear orderings (Q1677832) (← links)
• A representation of fuzzy numbers (Q1677910) (← links)
• Compatibility of fuzzy power relations (Q1677934) (← links)
• A survey on the categorical term construction with applications (Q1677940) (← links)
• Closure structures parameterized by systems of isotone Galois connections (Q1679638) (← links)
• The strong version of a sentential logic (Q1680515) (← links)
• Distributive residuated frames and generalized bunched implication algebras (Q1686325) (← links)
• The FEP for some varieties of fully distributive knotted residuated lattices (Q1686329) (← links)
• A method to construct fuzzy implications -- rotation construction (Q1687268) (← links)
• Corrigendum to ``The logic of the strongest and the weakest t-norms'' (Q1697319) (← links)
• On deductive interpolation for the weak nilpotent minimum logic (Q1697356) (← links)
• The approximation of left-continuous t-norms (Q1697362) (← links)