scientific article; zbMATH DE number 2208113
From MaRDI portal
Publication:5693612
zbMath1070.06005MaRDI QIDQ5693612
Constantine Tsinakis, Peter Jipsen
Publication date: 26 September 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lattices of varieties (08B15) Decidability of theories and sets of sentences (03B25) Ordered semigroups and monoids (06F05) Research exposition (monographs, survey articles) pertaining to ordered structures (06-02)
Related Items (only showing first 100 items - show all)
BCK-monoids ⋮ Representable idempotent commutative residuated lattices ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Weak topologies on toposes ⋮ Unnamed Item ⋮ Language models for some extensions of the Lambek calculus ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Semi-linear Varieties of Lattice-Ordered Algebras ⋮ MOST SIMPLE EXTENSIONS OF ARE UNDECIDABLE ⋮ Solving Linear Equations in *-continuous Action Lattices ⋮ Projectivity and unification in substructural logics of generalized rotations ⋮ On bounded residuated \(\ell\)EQ-algebras ⋮ Varieties of K-lattices ⋮ Extensions of posets with an antitone involution to residuated structures ⋮ A dual equivalence for cofinal quantum B-algebras ⋮ Formal Concepts and Residuation on Multilattices ⋮ Structural and universal completeness in algebra and logic ⋮ On categorical equivalence of weak monadic residuated distributive lattices and weak monadic c-differential residuated distributive lattices ⋮ New perspectives on semi-primal varieties ⋮ Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic ⋮ An algebraic glimpse at bunched implications and separation logic ⋮ Recognizability in residuated lattices ⋮ Finite embeddability property for residuated lattices via regular languages ⋮ Residuated lattices arising from equivalence relations on Boolean and Brouwerian algebras ⋮ Unnamed Item ⋮ Interior and closure operators on commutative basic algebras ⋮ The lattices of 𝔏-fuzzy state filters in state residuated lattices ⋮ Residuated frames with applications to decidability ⋮ Unnamed Item ⋮ Modal operators on bounded commutative residuated ℓ-monoids ⋮ Rényi-Ulam Game Semantics for Product Logic and for the Logic of Cancellative Hoops ⋮ Unnamed Item ⋮ Conserving involution in residuated structures ⋮ Interpolation and Beth's property in propositional many-valued logics: a semantic investigation ⋮ \(\bigstar\)-autonomous lattices and fuzzy sets ⋮ On two fragments with negation and without implication of the logic of residuated lattices ⋮ The structure of idempotent residuated chains ⋮ Commutative idempotent residuated lattices ⋮ Local bounded commutative residuated ℓ-monoids ⋮ Forcing operators on MTL-algebras ⋮ Interior and closure operators on bounded residuated lattice ordered monoids ⋮ Generalizations of pseudo MV-algebras and generalized pseudo effect algebras ⋮ A non commutative generalization of *-autonomous lattices ⋮ Join-semilattices whose sections are residuated PO-monoids ⋮ Modal operators on commutative residuated lattices ⋮ Unnamed Item ⋮ Archimedean classes in integral commutative residuated chains ⋮ Unnamed Item ⋮ Nilpotency and the Hamiltonian property for cancellative residuated lattices ⋮ Galois connection of stabilizers in residuated lattices ⋮ Theorems of Alternatives for Substructural Logics ⋮ A Residuated Lattice of L-Fuzzy Subalgebras of a Mono-Unary Algebra ⋮ COMPLEXITY OF THE INFINITARY LAMBEK CALCULUS WITH KLEENE STAR ⋮ Simple, local and subdirectly irreducible state residuated lattices ⋮ Modules with fusion and implication based over distributive lattices: representation and duality ⋮ Obstinate, weak implicative and fantastic filters of non commutative residuated lattices ⋮ Fuzzy \(t\)-filters and their properties ⋮ Projectable \(\ell\)-groups and algebras of logic: categorical and algebraic connections. ⋮ Integrally closed residuated lattices ⋮ Representation theorems for some fuzzy logics based on residuated non-distributive lattices ⋮ Functional completeness of bounded structures of fuzzy logic with wvt-operators ⋮ The Archimedean property: new horizons and perspectives ⋮ An exercise on the generation of many-valued dynamic logics ⋮ Associativity, commutativity and symmetry in residuated structures ⋮ Algebras with implication and fusion: a different point of view. ⋮ Generalized Bosbach states. I ⋮ Boolean lifting property in quantales ⋮ Quasicomplemented residuated lattices ⋮ Residuated lattice of \(L\)-fuzzy ideals of a ring ⋮ On very true operators on pocrims ⋮ Extended filters in bounded commutative \(Rl\)-monoids ⋮ Extended-order algebras and fuzzy implicators ⋮ Priestley dualities for some lattice-ordered algebraic structures, including MTL, IMTL and MV-algebras ⋮ Beyond wreath and block ⋮ Hulls of ordered algebras: projectability, strong projectability and lateral completeness ⋮ Normal subalgebras. I ⋮ Truth values on generalizations of some commutative fuzzy structures ⋮ Pseudo equality algebras ⋮ A generalization of local fuzzy structures ⋮ Cancellative residuated lattices arising on 2-generated submonoids of natural numbers ⋮ A short note on \(t\)-filters, \(\mathcal{I}\)-filters and extended filters on residuated lattices ⋮ A graded approach to cardinal theory of finite fuzzy sets. I: Graded equipollence ⋮ Structure theorems for idempotent residuated lattices ⋮ Variety generated by conical residuated lattice-ordered idempotent monoids ⋮ Relative negations in non-commutative fuzzy structures ⋮ Varieties generated by unital abelian \(\ell\)-groups ⋮ Semisimplicity, EDPC and discriminator varieties of bounded weak-commutative residuated lattices with an S4-like modal operator ⋮ On Birkhoff's common abstraction problem ⋮ Minimal varieties of representable commutative residuated lattices ⋮ Pseudo-BCK algebras as partial algebras ⋮ Algebraic proof theory for substructural logics: cut-elimination and completions ⋮ Topological \(\operatorname{FL}_{\operatorname{ew}}\)-algebras ⋮ Monadic bounded residuated lattices ⋮ Density revisited ⋮ State operators on generalizations of fuzzy structures ⋮ Fuzzy prime and maximal filters of residuated lattices ⋮ The Conrad program: from \(l\)-groups to algebras of logic. ⋮ Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL ⋮ Minimal varieties of involutive residuated lattices
This page was built for publication: