Pages that link to "Item:Q4786332"

The following pages link to THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES (Q4786332):

Displaying 50 items.

• A new approach for classification of filters in residuated lattices (Q277573) (← links)
• The proof by cases property and its variants in structural consequence relations (Q368486) (← links)
• Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics (Q454386) (← links)
• The subvariety lattice for representable idempotent commutative residuated lattices (Q664314) (← links)
• Conical residuated lattice-ordered idempotent monoids (Q734987) (← links)
• Representation theorems for some fuzzy logics based on residuated non-distributive lattices (Q835128) (← links)
• Priestley dualities for some lattice-ordered algebraic structures, including MTL, IMTL and MV-algebras (Q861580) (← links)
• Fuzzy logics based on \([0,1)\)-continuous uninorms (Q884954) (← links)
• Characterization of extended filters in residuated lattices (Q894677) (← links)
• Constructive logic with strong negation is a substructural logic. I (Q931408) (← links)
• Density elimination (Q944384) (← links)
• Semiconic idempotent residuated structures (Q1047102) (← links)
• Varieties of De Morgan monoids: minimality and irreducible algebras (Q1730847) (← links)
• Derivations of commutative residuated lattices (Q1734013) (← links)
• Generalized state operators on residuated lattices (Q1741932) (← links)
• Generalized MV-algebras (Q1770501) (← links)
• \(\bigstar\)-autonomous lattices (Q1780899) (← links)
• A category equivalence for odd Sugihara monoids and its applications (Q1934971) (← links)
• Residuated structures and orthomodular lattices (Q2062191) (← links)
• On relative principal congruences in term quasivarieties (Q2106878) (← links)
• Twist structures and Nelson conuclei (Q2157599) (← links)
• Amalgamation and interpolation in ordered algebras. (Q2253035) (← links)
• Logical vs. behavioural specifications (Q2304534) (← links)
• Categories of models of \(\mathbf{R}\)-mingle (Q2311212) (← links)
• Compatible operations on commutative weak residuated lattices (Q2343034) (← links)
• Fuzzy equivalence relations and their equivalence classes (Q2372263) (← links)
• Variety generated by conical residuated lattice-ordered idempotent monoids (Q2416382) (← links)
• On principal congruences in distributive lattices with a commutative monoidal operation and an implication (Q2422313) (← links)
• Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL (Q2433102) (← links)
• Subdirectly irreducible residuated semilattices and positive universal classes (Q2433107) (← links)
• Minimal varieties of involutive residuated lattices (Q2433108) (← links)
• The subvariety of commutative residuated lattices represented by twist-products (Q2449445) (← links)
• Modal operators on commutative residuated lattices (Q3083211) (← links)
• Correspondences between gentzen and hilbert systems (Q3410681) (← links)
• Representable idempotent commutative residuated lattices (Q3443137) (← links)
• ASSERTIONALLY EQUIVALENT QUASIVARIETIES (Q3519801) (← links)
• Residuated Structures, Concentric Sums and Finiteness Conditions (Q3543391) (← links)
• FREE REPRESENTABLE IDEMPOTENT COMMUTATIVE RESIDUATED LATTICES (Q3601329) (← links)
• Commutative idempotent residuated lattices (Q3617947) (← links)
• Archimedean classes in integral commutative residuated chains (Q3632529) (← links)
• Compatible operations on commutative residuated lattices (Q3643365) (← links)
• Fuzzy modal-like approximation operators based on double residuated lattices (Q3647250) (← links)
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
• MOST SIMPLE EXTENSIONS OF ARE UNDECIDABLE (Q5100054) (← links)
• VARIETIES OF DE MORGAN MONOIDS: COVERS OF ATOMS (Q5107537) (← links)
• Idempotent residuated structures: Some category equivalences and their applications (Q5246960) (← links)
• Strong NMV-algebras, commutative basic algebras and naBL-algebras (Q5746284) (← links)
• Nilpotency and the Hamiltonian property for cancellative residuated lattices (Q5864698) (← links)
• Varieties of K-lattices (Q6079407) (← links)
• Varieties of bounded K-lattices (Q6079408) (← links)