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
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, Conserving involution in residuated structures, 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, 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, Bounded commutative residuated \(\ell\)-monoids with general comparability and states, 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, A general frame for intuitionistic fuzzy rough sets, Generalized MV-algebras, \(\bigstar\)-autonomous 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, 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, Compatible operations on commutative weak residuated lattices, From interior algebras to unital \(\ell\)-groups: a unifying treatment of modal 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, 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, 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, Semi-linear Varieties of Lattice-Ordered Algebras, 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
