Pages that link to "Item:Q1771949"

The following pages link to The finite embeddability property for residuated lattices, pocrims and BCK-algebras. (Q1771949):

Displaying 36 items.

• Almost structural completeness; an algebraic approach (Q278762) (← links)
• Partial algebras and complexity of satisfiability and universal theory for distributive lattices, Boolean algebras and Heyting algebras (Q391322) (← links)
• Cut elimination and strong separation for substructural logics: an algebraic approach (Q636346) (← links)
• The subvariety lattice for representable idempotent commutative residuated lattices (Q664314) (← links)
• Alternative proof of standard completeness theorem for MTL (Q855228) (← links)
• Completion and finite embeddability property for residuated ordered algebras. (Q993327) (← links)
• Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies (Q1024552) (← links)
• Semiconic idempotent residuated structures (Q1047102) (← links)
• The FEP for some varieties of fully distributive knotted residuated lattices (Q1686329) (← links)
• On some questions concerning the axiomatisation of WNM-algebras and their subvarieties (Q1697331) (← links)
• Complexity of some language fragments of fuzzy logics (Q1699732) (← links)
• Minimal varieties of representable commutative residuated lattices (Q1935563) (← links)
• Semilinear substructural logics with the finite embeddability property (Q1991589) (← links)
• Join-completions of partially ordered algebras (Q2004958) (← links)
• Word problem for knotted residuated lattices. (Q2254319) (← links)
• Fuzzy logics from substructural perspective (Q2270232) (← links)
• Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids (Q2317378) (← links)
• Characteristic inference rules (Q2342800) (← links)
• Monoidal functional dependencies (Q2353408) (← links)
• Canonical formulas for \(k\)-potent commutative, integral, residuated lattices (Q2359733) (← links)
• On square-increasing ordered monoids and idempotent semirings (Q2362745) (← links)
• Characteristic formulas of partial Heyting algebras (Q2392011) (← links)
• In memory of Willem Johannes Blok 1947-2003 (Q2433091) (← links)
• Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL (Q2433102) (← links)
• On varieties of biresiduation algebras (Q2433109) (← links)
• Modal MTL-algebras (Q2445422) (← links)
• Cayley's and Holland's theorems for idempotent semirings and their applications to residuated lattices (Q2447247) (← links)
• On three implication-less fragments of t-norm based fuzzy logics (Q2457026) (← links)
• On two fragments with negation and without implication of the logic of residuated lattices (Q2501164) (← links)
• The finite embeddability property for residuated groupoids. (Q2510712) (← links)
• The finite model property for semilinear substructural logics (Q2856632) (← links)
• Algebraic and Categorical Aspects of Quantales (Q3053874) (← links)
• The finite model property for knotted extensions of propositional linear logic (Q3370755) (← links)
• Representable idempotent commutative residuated lattices (Q3443137) (← links)
• On categorical equivalence of weak monadic residuated distributive lattices and weak monadic c-differential residuated distributive lattices (Q6161949) (← links)
• Complexity of the universal theory of residuated ordered groupoids (Q6169326) (← links)