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.
- On minimal sets of graded attribute implications (Q526697) (← links)
- Fuzzy logic programming reduced to reasoning with attribute implications (Q529051) (← links)
- Fixed elements in involutive residuated lattices (Q535108) (← links)
- \(n\)-contractive BL-logics (Q535139) (← links)
- Extending conceptualisation modes for generalised formal concept analysis (Q545323) (← links)
- Nuclei and conuclei on residuated lattices (Q549349) (← links)
- Disjunction property and complexity of substructural logics (Q549720) (← links)
- Cancellative residuated lattices arising on 2-generated submonoids of natural numbers (Q607457) (← links)
- Multipotent GBL-algebras (Q616119) (← links)
- On the variety generated by bounded pseudo-BCK-algebras (Q616842) (← links)
- Pseudo-BCK algebras as partial algebras (Q621618) (← links)
- Completeness with respect to a chain and universal models in fuzzy logic (Q627436) (← links)
- Joins and subdirect products of varieties (Q634765) (← links)
- Strict core fuzzy logics and quasi-witnessed models (Q634776) (← links)
- Cut elimination and strong separation for substructural logics: an algebraic approach (Q636346) (← links)
- Grishin algebras and cover systems for classical bilinear logic (Q647406) (← links)
- Leibniz-linked pairs of deductive systems (Q647411) (← links)
- Natural extensions and profinite completions of algebras (Q651385) (← links)
- MacNeille completions of FL-algebras (Q652517) (← links)
- Amalgamation through quantifier elimination for varieties of commutative residuated lattices (Q661293) (← links)
- The subvariety lattice for representable idempotent commutative residuated lattices (Q664314) (← links)
- Basic substructural core fuzzy logics and their extensions: mianorm-based logics (Q679802) (← links)
- Single chain completeness and some related properties (Q679807) (← links)
- Variety theorem for algebras with fuzzy orders (Q679841) (← links)
- Structural induction in institutions (Q719243) (← links)
- Derivation digraphs for dependencies in ordinal and similarity-based data (Q726160) (← links)
- Why are papers about filters on residuated structures (usually) trivial? (Q726485) (← links)
- Algebraic proof theory: hypersequents and hypercompletions (Q730091) (← links)
- Conical residuated lattice-ordered idempotent monoids (Q734987) (← links)
- Uniform proofs of standard completeness for extensions of first-order MTL (Q744987) (← links)
- Free-decomposability in varieties of pseudocomplemented residuated lattices (Q763308) (← links)
- The structure of generalized BI-algebras and weakening relation algebras (Q776989) (← links)
- On semiconic idempotent commutative residuated lattices (Q776990) (← links)
- Very true pseudo-BCK algebras (Q780091) (← links)
- Left residuated operators induced by posets with a unary operation (Q780122) (← links)
- \(n\)-normal residuated lattices (Q780240) (← links)
- A short note on divisible residuated semilattices (Q780241) (← links)
- Topological residuated lattices (Q781359) (← links)
- Applying set optimization to weak efficiency (Q828871) (← links)
- Integrally closed residuated lattices (Q831226) (← links)
- A positive information logic for inferential information (Q833030) (← links)
- Symmetric categorial grammar (Q843772) (← links)
- Relative negations in non-commutative fuzzy structures (Q890025) (← links)
- A logic of graded attributes (Q892134) (← links)
- Fuzzy inequational logic (Q892182) (← links)
- Boolean lifting property for residuated lattices (Q894392) (← links)
- A note on standard completeness for some extensions of uninorm logic (Q894654) (← links)
- Graded consequence: an institution theoretic study (Q894661) (← links)
- Characterization of extended filters in residuated lattices (Q894677) (← links)
- Bases of closure systems over residuated lattices (Q896027) (← links)
