Publication:5693612
From MaRDI portal
zbMath1070.06005MaRDI QIDQ5693612
Constantine Tsinakis, Peter Jipsen
Publication date: 26 September 2005
08B15: Lattices of varieties
03B25: Decidability of theories and sets of sentences
06F05: Ordered semigroups and monoids
06-02: Research exposition (monographs, survey articles) pertaining to ordered structures
Related Items
Unnamed Item, Paraconsistent constructive logic with strong negation as a contraction-free relevant logic, Unnamed Item, Unnamed Item, Residuated frames with applications to decidability, Theorems of Alternatives for Substructural Logics, COMPLEXITY OF THE INFINITARY LAMBEK CALCULUS WITH KLEENE STAR, Simple, local and subdirectly irreducible state residuated lattices, MOST SIMPLE EXTENSIONS OF ARE UNDECIDABLE, The lattices of 𝔏-fuzzy state filters in state residuated lattices, Unnamed Item, Unnamed Item, Modal operators on bounded commutative residuated ℓ-monoids, Rényi-Ulam Game Semantics for Product Logic and for the Logic of Cancellative Hoops, Conserving involution in residuated structures, Nilpotency and the Hamiltonian property for cancellative residuated lattices, Galois connection of stabilizers in residuated lattices, A Residuated Lattice of L-Fuzzy Subalgebras of a Mono-Unary Algebra, 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, On categorical equivalence of weak monadic residuated distributive lattices and weak monadic c-differential residuated distributive lattices, 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, Weak topologies on toposes, Language models for some extensions of the Lambek calculus, Projectivity and unification in substructural logics of generalized rotations, Semi-linear Varieties of Lattice-Ordered Algebras, Interior and closure operators on commutative basic algebras, Unnamed Item, The structure of idempotent residuated chains, Forcing operators on MTL-algebras, Modal operators on commutative residuated lattices, BCK-monoids, Representable idempotent commutative residuated lattices, Unnamed Item, Unnamed Item, Solving Linear Equations in *-continuous Action Lattices, Residuated lattices arising from equivalence relations on Boolean and Brouwerian algebras, Commutative idempotent residuated lattices, Local bounded commutative residuated ℓ-monoids, 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, Archimedean classes in integral commutative residuated chains, Fuzzy \(t\)-filters and their properties, Projectable \(\ell\)-groups and algebras of logic: categorical and algebraic connections., Normal subalgebras. I, Pseudo equality algebras, Varieties generated by unital abelian \(\ell\)-groups, Algebraic proof theory for substructural logics: cut-elimination and completions, State operators on generalizations of fuzzy structures, Factor congruence lifting property, Nuclei and conuclei on residuated lattices, Cancellative residuated lattices arising on 2-generated submonoids of natural numbers, Pseudo-BCK algebras as partial algebras, Cut elimination and strong separation for substructural logics: an algebraic approach, Algebraic proof theory: hypersequents and hypercompletions, Conical residuated lattice-ordered idempotent monoids, Compatible operations on residuated lattices, On semiconic idempotent commutative residuated lattices, \(n\)-normal residuated lattices, A short note on divisible residuated semilattices, Topological residuated lattices, Bounded commutative residuated \(\ell\)-monoids with general comparability and states, 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, Priestley dualities for some lattice-ordered algebraic structures, including MTL, IMTL and MV-algebras, Truth values on generalizations of some commutative fuzzy structures, A generalization of local fuzzy structures, Relative negations in non-commutative fuzzy structures, Topological \(\operatorname{FL}_{\operatorname{ew}}\)-algebras, The Conrad program: from \(l\)-groups to algebras of logic., Partial residuated structures and quantum structures, Fuzzy filters and fuzzy prime filters of bounded \(R\ell \)-monoids and pseudo BL-algebras, Monadic bounded commutative residuated \(\ell\)-monoids, Embedding theorems for classes of GBL-algebras, Residuated lattices of size \(\leq 12\), Completion and finite embeddability property for residuated ordered algebras., On some categories of involutive centered residuated lattices, Distributive full Lambek calculus has the finite model property, Ordinal decompositions for preordered root systems, Generalizations of Boolean products for lattice-ordered algebras, Ordered groups with a conucleus, A note on intervals of residuated \(\ell \)-groupoids, The Archimedean property: new horizons and perspectives, 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, Density revisited, Fuzzy prime and maximal filters of residuated lattices, The Cantor-Bernstein-Schröder theorem via universal algebra., A general frame for intuitionistic fuzzy rough sets, Generalized MV-algebras, \(\bigstar\)-autonomous lattices, Fuzzy extended filters on residuated lattices, 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, Monadic bounded residuated lattices, Semilinear substructural logics with the finite embeddability property, States of finite GBL-algebras with monoidal sum, Ideals and involutive filters in generalizations of fuzzy structures, Axiomatizing logics of fuzzy preferences using graded modalities, Prime, minimal prime and maximal ideals spaces in residuated lattices, On finite MTL-algebras that are representable as poset products of Archimedean chains, Residuated structures and orthomodular lattices, Projectivity in (bounded) commutative integral residuated lattices, Modules with fusion and implication based over distributive lattices: representation and duality, Boolean lifting property in quantales, Quasicomplemented residuated lattices, Residuated lattice of \(L\)-fuzzy ideals of a ring, Beyond wreath and block, Structure theorems for idempotent residuated lattices, Amalgamation and interpolation in ordered algebras., Word problem for knotted residuated lattices., Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions, Residual operations of monotone binary operations over complete lattices, Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids, The going-up and going-down theorems in residuated lattices, Splittings in GBL-algebras. I: The general case, On residuated lattices with left and right internal state, On EMV-algebras, Compatible operations on commutative weak residuated lattices, From interior algebras to unital \(\ell\)-groups: a unifying treatment of modal residuated lattices, Obstinate, weak implicative and fantastic filters of non commutative residuated lattices, 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, On very true operators on pocrims, Extended filters in bounded commutative \(Rl\)-monoids, Extended-order algebras and fuzzy implicators, Hulls of ordered algebras: projectability, strong projectability and lateral completeness, Variety generated by conical residuated lattice-ordered idempotent monoids, Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL, Minimal varieties of involutive residuated lattices, Interior and closure operators on bounded residuated lattices, Lattice-theoretic properties of algebras of logic, Projective objects in the categories of abelian \(\ell\)-groups and MV-algebras., On three implication-less fragments of t-norm based fuzzy logics, Formal systems of fuzzy logic and their fragments, Boolean filters and positive implicative filters of residuated lattices, Representable pseudo-BCK-algebras and integral residuated lattices, Decision methods for linearly ordered Heyting algebras
