Search results for "DL-algebras"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
135	Xiao-hong Zhang 0001, Wei Hua Li	On pseudo-BL algebras and BCC-algebras.	Soft Comput.	2006	DBLP DOI BibTeX RDF	Normal filter, Pseudo-MV filter, Pseudo-G filter, BCC-algebras, Pseudo-BCK algebras, Weak pseudo-BL algebras, Pseudo-BL algebra, Boolean filter
134	Roberto Cignoli, Antoni Torrens	Free Algebras in Varieties of Glivenko MTL-algebras Satisfying the Equation 2(x2) = (2x)2.	Stud Logica	2006	DBLP DOI BibTeX RDF	MTL-algebras, Glivenko MTL-algebras, Nilpotent Minimum algebras, DL-algebras, Boolean products, Boolean retraction property, free algebras
124	Carles Noguera, Francesc Esteva, Joan Gispert	Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	Bipartite algebras, Cancellative hoops, disconnected rotation, IMTL-algebras, local algebras, perfect algebras, prelinear semihoops, Wajsberg hoops, filters, many-valued logic, MV-algebras, Algebraizable logics
113	Andrew U. Frank	One Step up the Abstraction Ladder: Combining Algebras - From Functional Pieces to a Whole.	COSIT	1999	DBLP DOI BibTeX RDF	Spatial Algebras, Parameterization of Algebras, Category Theory, Spatial Data Models
107	Paul Flondor, George Georgescu, Afrodita Iorgulescu	Pseudo-t-norms and pseudo-BL algebras.	Soft Comput.	2001	DBLP DOI BibTeX RDF	Weak-BL algebra, Weak-pseudo-BL algebra, Pseudo- t -norm, Pseudo- t -conorm, Left continuity, Right continuity, MV algebra, t -norm, BL algebra, Pseudo-MV algebra, Pseudo-BL algebra, t -conorm
99	Franco Montagna, Luca Spada	Continuous approximations of product implication in MV-algebras with product.	Soft Comput.	2005	DBLP DOI BibTeX RDF	?-algebras, MV-algebras
99	Afrodita Iorgulescu	On BCK algebras: Part II: New algebras. The ordinal sum (product) of two bounded BCK algebras.	Soft Comput.	2008	DBLP DOI BibTeX RDF	Wajsberg algebra, Generalized-MV algebra, Generalized-Wajsberg algebra, BCK(P) lattice, Hájek(P) algebra, Generalized-BL algebra, Divisible BCK(P) lattice, Weak-BL algebra, MTL algebra, IMTL algebra, WNM algebra, NM algebra, R0 algebra, Pocrim, MV algebra, Residuated lattice, t-norm, BL algebra, Heyting algebra, BCK algebra
97	Anatolij Dvurecenskij, Thomas Vetterlein	Algebras in the Positive Cone of po-Groups.	Order	2002	DBLP DOI BibTeX RDF	cone algebras, generalized effect algebras, po-groups, positive minimal clans, pseudoeffect algebras, semiclans, BCK-algebras
84	Stefano Aguzzoli, Simone Bova, Vincenzo Marra	Applications of Finite Duality to Locally Finite Varieties of BL-Algebras.	LFCS	2009	DBLP DOI BibTeX RDF	prime filters, free BL-algebras, subvarieties of BL-algebras, locally finite varieties, dualities, BL-algebras
82	Thomas Vetterlein	BL-algebras and effect algebras.	Soft Comput.	2005	DBLP DOI BibTeX RDF	Weak effect algebra, D-poset, Weak D-poset, Effect algebra, BL-algebra
81	Costas A. Drossos	Nonstandard methods in many-valued logics.	Soft Comput.	1998	DBLP DOI BibTeX RDF	free MV-algebras, semisimplicity, superstructures, infinitesimals, hyperfinite MV-algebras, stochastic MV-algebras, MV-algebras, internal, external, Rad
79	Laurentiu Leustean	Sheaf representations of BL-algebras.	Soft Comput.	2005	DBLP DOI BibTeX RDF
79	Ivo Düntsch, Ewa Orlowska, Anna Maria Radzikowska	Lattice-Based Relation Algebras and Their Representability.	Theory and Applications of Relational Structures as Knowledge Instruments	2003	DBLP DOI BibTeX RDF
78	Manuel Abad, J. Patricio Díaz Varela	Factor congruences in BCK -algebras.	Soft Comput.	2009	DBLP DOI BibTeX RDF	Factor congruences, Implicative filters, Pocrims, Hoops, BCK-algebras, Decomposability, Free algebras
72	Zdenka Riecanová, Ivica Marinová, Michal Zajac 0004	Some Aspects of Lattice and Generalized Prelattice Effect Algebras.	Theory and Applications of Relational Structures as Knowledge Instruments	2006	DBLP DOI BibTeX RDF
72	Antonio Di Nola, Mirko Navara	Cantor-Bernstein Property for MV-Algebras.	Algebraic and Proof-theoretic Aspects of Non-classical Logics	2006	DBLP DOI BibTeX RDF
72	Petr Cintula	A note to the definition of the **-algebras.	Soft Comput.	2005	DBLP DOI BibTeX RDF
72	Kioshi Shirayanagi	On the Isomorphism Problem for Finite-Dimensional Binomial Algebras.	ISSAC	1990	DBLP DOI BibTeX RDF
72	Markus Bläser	Lower bounds for the bilinear complexity of associative algebras.	Comput. Complex.	2000	DBLP DOI BibTeX RDF	Associative algebras, lower bound, rank, matrix multiplication, substitution method, bilinear complexity
70	Tarek Sayed Ahmed	On Amalgamation in Algebras of Logic.	Stud Logica	2005	DBLP DOI BibTeX RDF	substitution algebras, quasipolyadic algebras, Algebraic logic, cylindric algebras, amalgamation
69	Rodica Ceterchi	Weak pseudo-Wajsberg and weak pseudo-MV algebras.	Soft Comput.	2001	DBLP DOI BibTeX RDF	Wajsberg algebras, pseudo-Wajsberg algebras, MV algebras, pseudo-MV algebras
69	Paolo Aglianò, Isabel M. A. Ferreirim, Franco Montagna	Basic Hoops: an Algebraic Study of Continuous t -norms.	Stud Logica	2007	DBLP DOI BibTeX RDF	basic hoops, continuous t-norms, subreducts of BL-algebras
68	Félix Bou, Francesco Paoli, Antonio Ledda, Hector Freytes	On some properties of quasi-MV algebras and Ö{cent}\sqrt{^{\prime}} quasi-MV algebras. Part II.	Soft Comput.	2008	DBLP DOI BibTeX RDF
68	Jan Reiterman, Vera Trnková	From Dynamic Algebras to Test Algebras.	MFCS	1984	DBLP DOI BibTeX RDF
67	Miklós Ferenczi	Finitary Polyadic Algebras from Cylindric Algebras.	Stud Logica	2007	DBLP DOI BibTeX RDF	Polyadic algebras, cylindric algebras
65	Jirí Rachunek, Dana Salounová	Monadic GMV-algebras.	Arch. Math. Log.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03B50, 06F15, 06D35, 06F05
65	J. Patricio Díaz Varela, Antoni Torrens Torrell	Decomposability of free Lukasiewicz implication algebras.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 06F99, 08B20, 08A30
65	Joel Berman, Willem J. Blok	Free Lukasiewicz and Hoop Residuation Algebras.	Stud Logica	2004	DBLP DOI BibTeX RDF	free spectrum, hoop, hoop residuation algebra, ukasiewicz algebra, ukasiewicz residuation algebra, Hilbert algebra, MV-algebra, BCK-algebra, free algebra
65	Peter Buchholz 0001, Peter Kemper	Quantifying the Dynamic Behavior of Process Algebras.	PAPM-PROBMIV	2001	DBLP DOI BibTeX RDF	process algebras, bisimulation, congruence, semiring
64	Yun Shang	Ring-like structures corresponding to pseudo MV-algebras.	Soft Comput.	2009	DBLP DOI BibTeX RDF	Non-commutative pseudorings, Strong pseudo De Morgan algebras, Pseudo MV-algebras
63	Hai-Yang Li, Sheng-Gang Li, Min-Hui Zhu	Cartesian product of compressible effect algebras.	Soft Comput.	2008	DBLP DOI BibTeX RDF	Compressible effect algebras, Normal sub-effect algebras, Effect algebras, Cartesian product
61	Pavel S. Kolesnikov	Associative Algebras Related to Conformal Algebras.	Appl. Categorical Struct.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) Primary: 16S32, Secondary: 16W30, 18D50
61	Radomír Halas	The Variety of Lattice Effect Algebras Generated by MV-algebras and the Horizontal Sum of Two 3-element Chains.	Stud Logica	2008	DBLP DOI BibTeX RDF	Lattice effect algebra, basic algebra, antitone involution, variety
61	Xiao-hong Zhang 0001	Rough Algebras and Fuzzy Logic Algebras.	FSKD (1)	2007	DBLP DOI BibTeX RDF
61	Zdenka Riecanová	Embeddings of generalized effect algebras into complete effect algebras.	Soft Comput.	2006	DBLP DOI BibTeX RDF
58	Yoshihiro Maruyama	A Duality for Algebras of Lattice-Valued Modal Logic.	WoLLIC	2009	DBLP DOI BibTeX RDF
58	Nick Bezhanishvili, Mai Gehrke	Free Heyting Algebras: Revisited.	CALCO	2009	DBLP DOI BibTeX RDF
58	Esko Turunen	Semi-Boolean and Hyper-Archimedean BL -Algebras.	IFSA (1)	2007	DBLP DOI BibTeX RDF	Mathematical fuzzy logic, BL-algrebra, MV-algebra
58	Antonio Di Nola, Mirko Navara	MV-Algebras with the Cantor-Bernstein Property.	IFSA (2)	2007	DBLP DOI BibTeX RDF	Cantor-Bernstein theorem, boolean element of an MV-algebra, partition of unity, direct product decomposition, ?-complete MV-algebra, multiplicative MV-algebra, MV-algebra
58	Tom Lada, Martin Markl	Symmetric Brace Algebras.	Appl. Categorical Struct.	2005	DBLP DOI BibTeX RDF	brace algebra, strongly homotopy structure, gauge algebra
58	Björn Vormbrock, Rudolf Wille	Semiconcept and Protoconcept Algebras: The Basic Theorems.	Formal Concept Analysis	2005	DBLP DOI BibTeX RDF
58	Steve Chien, Alistair Sinclair	Algebras with Polynomial Identities and Computing the Determinant.	FOCS	2004	DBLP DOI BibTeX RDF
58	Tobias Nipkow	Unification in Primal Algebras, Their Powers and Their Varieties	J. ACM	1990	DBLP DOI BibTeX RDF
58	Joan Gispert, Antoni Torrens	Boolean representation of bounded BCK-algebras.	Soft Comput.	2008	DBLP DOI BibTeX RDF	Bounded BCK-algebras, Boolean factor elements, Weak Boolean product, Pierce BCK-representation
58	Slawomir Lasota 0001	Behavioural Constructor Implementation for Regular Algebras.	LPAR	2000	DBLP DOI BibTeX RDF	regular algebras, behavioural constructor implementation, proofs of behavioural properties, Algebraic specifications, observational equivalence
57	Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu	Monadic Curry Algebras Q tau.	KES (2)	2007	DBLP DOI BibTeX RDF	Curry algebras, monadic algebras, paraconsistent annotated logic, algebraic logic
57	Roberto Cignoli, Luiz Monteiro	Maximal Subalgebras of MVn-algebras. A Proof of a Conjecture of A. Monteiro.	Stud Logica	2006	DBLP DOI BibTeX RDF	Moisil -?ukasiewicz algebras, ?ukasiewicz many-valued logics, Boolean spaces, subalgebras, MV-algebras
57	Barbara König 0001, Ugo Montanari, Philippa Gardner	04241 Abstracts Collection - Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems.	Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems	2004	DBLP BibTeX RDF
56	Boris A. Romov	Polynomial Completeness Criteria in Finite Boolean Algebras.	ISMVL	1996	DBLP DOI BibTeX RDF	completeness criteria, finite Boolean algebras, arity-calibrated product, two-valued logic algebras, maximal subalgebras, Sheffer criterion, Slupecki type criterion, multiple base relation, logic algebras, process algebra, polynomials, algebra, Boolean algebra
56	Jirí Rachunek, Filip Svrcek	Monadic Bounded Commutative Residuated l-monoids.	Order	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 03G25, 06D20, 06D35, 06F05
55	Giulio Manzonetto, Antonino Salibra	From lambda-Calculus to Universal Algebra and Back.	MFCS	2008	DBLP DOI BibTeX RDF	Church Algebras, Stone Representation Theorem, Lambda Theories, Lambda calculus, Universal Algebra
54	George Georgescu, Andrei Popescu 0001	A common generalization for MV-algebras and Lukasiewicz-Moisil algebras.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 06D35, 03G20, 06F15
54	Vaughan R. Pratt	Dynamic algebras as a well-behaved fragment of relation algebras.	Algebraic Logic and Universal Algebra in Computer Science	1988	DBLP DOI BibTeX RDF
54	Peter Jipsen	From Semirings to Residuated Kleene Lattices.	Stud Logica	2004	DBLP DOI BibTeX RDF	action algebras, congruence properties, Gentzen systems, residuated lattices, Semirings, Kleene algebras, Kleene algebras with test
53	George Voutsadakis	Categorical Abstract Algebraic Logic: Algebraizable Institutions.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	equivalent deductive systems, equivalent institutions, algebraic institutions, equivalent categories, algebraizable institutions, clone algebras, substitution algebras, polyadic algebras, diagram-based logics, first-order logic, monads, institutions, equational logic, algebraic logic, algebraizable logics, adjunctions, algebraic theories, cylindric algebras, triples
51	Stefan Milius, Thorsten Palm, Daniel Schwencke	Complete Iterativity for Algebras with Effects.	CALCO	2009	DBLP DOI BibTeX RDF	iterative algebra, terminal coalgebra, monad, initial algebra, distributive law
51	Ewa Orlowska, Ingrid Rewitzky	Context Algebras, Context Frames, and Their Discrete Duality.	Trans. Rough Sets	2008	DBLP DOI BibTeX RDF	duality via truth, attribute dependency, context, formal concept analysis, Duality, concept, implication, representation theorem
51	T. S. Blyth, Jie Fang	Congruence Coherent Symmetric Extended de Morgan Algebras.	Stud Logica	2007	DBLP DOI BibTeX RDF	congruence coherent, extended de Morgan algebra
51	Markus Bläser, Andreas Meyer de Voltaire	Semisimple Algebras of Almost Minimal Rank over the Reals.	MFCS	2007	DBLP DOI BibTeX RDF
51	Roger D. Maddux	Finite Symmetric Integral Relation Algebras with No 3-Cycles.	RelMiCS	2006	DBLP DOI BibTeX RDF
51	Giulio Manzonetto, Antonino Salibra	Boolean Algebras for Lambda Calculus.	LICS	2006	DBLP DOI BibTeX RDF
51	Francesc Esteva, Lluís Godo	Towards the Generalization of Mundici's Gamma Functor to IMTL Algebras: The Linearly Ordered Case.	Algebraic and Proof-theoretic Aspects of Non-classical Logics	2006	DBLP DOI BibTeX RDF
51	Klaus Denecke, S. Radelecki, Ch. Ratanaprasert	On Constantive Simple and Order-Primal Algebras.	Order	2005	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 08B05, 06A11, 06A06
51	Antonio Di Nola, Ada Lettieri	Finiteness based results in BL-algebras.	Soft Comput.	2005	DBLP DOI BibTeX RDF	BL-comet, Strong duality, Duality, BL-algebra
51	Thomas Vetterlein	Partial algebras for Lukasiewicz logics and its extensions.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF
51	Alasdair Urquhart	Duality Theory for Projective Algebras.	RelMiCS	2005	DBLP DOI BibTeX RDF
51	M. Aguiar	Infinitesimal Hopf Algebras and the cd-Index of Polytopes.	Discret. Comput. Geom.	2002	DBLP DOI BibTeX RDF
51	Mojgan Mahmoudi, M. Mehdi Ebrahimi	Purity and Equational Compactness of Projection Algebras.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	projection algebra, pure, equationally compact, s-pure, s-compact, s-injective, pure-essential, equational compact hull, injective hull, complete, sequence
51	Ioana Leustean	Local pseudo MV-algebras.	Soft Comput.	2001	DBLP DOI BibTeX RDF	l-group, Local pseudo MV-algebra, Perfect pseudo MV-algebra, Pseudo MV-algebra
51	Esko Turunen	Boolean deductive systems of BL-algebras.	Arch. Math. Log.	2001	DBLP DOI BibTeX RDF	Fuzzy logic -MV-algebra -BL-algebra, Many-valued logic, Residuated lattice
51	Lynne Baur	Cardinal Functions on Initial Chain Algebras on Pseudotrees.	Order	2000	DBLP DOI BibTeX RDF	cardinal function, cardinal invariant, initial chain algebra, interval algebra
51	Dexter Kozen	On Kleene Algebras and Closed Semirings.	MFCS	1990	DBLP DOI BibTeX RDF
51	Manfred Broy, Martin Wirsing	Generalized Heterogeneous Algebras and Partial Interpretations.	CAAP	1983	DBLP DOI BibTeX RDF
51	Tarek Sayed Ahmed	On Complete Representations of Reducts of Polyadic Algebras.	Stud Logica	2008	DBLP DOI BibTeX RDF	polyadic algebras, complete representations, Algebraic logic
51	Eloy Renedo, Enric Trillas, Claudi Alsina	On the law (a·b')'=b+a'·b' in de Morgan algebras and orthomodular lattices.	Soft Comput.	2003	DBLP DOI BibTeX RDF	de Morgan Algebras, Orthomodular lattices, Elkan''s law, Lattices
51	Markus Bläser	Algebras of Minimal Rank over Perfect Fields.	CCC	2002	DBLP DOI BibTeX RDF	algebras of minimal rank, multiplication, bilinear complexity
51	Marco Grandis, John MacDonald	Homotopy Structures for Algebras over a Monad.	Appl. Categorical Struct.	1999	DBLP DOI BibTeX RDF	abstract homotopy, equivariant homotopy, fibrewise homotopy, homotopy (co)-limits, (co)cylinder, cubical objects, Eilenberg-Moore algebras, slice categories, monads, homotopy
50	Jianhua Dai, Xiaochun Liu	Rough 3-Valued Lukasiewicz Agebras and MV-Algebras.	RSKT	2009	DBLP DOI BibTeX RDF	rough 3-valued ?ukasiewicz algebras, Rough sets, MV- algebras
50	Lawrence Peter Belluce, Antonio Di Nola, Brunella Gerla	Abelian l -Groups with Strong Unit and Perfect MV-Algebras.	Order	2008	DBLP DOI BibTeX RDF	Perfect MV-algebras, MV-algebras, Lattice-ordered groups
50	Willem A. de Graaf, Gábor Ivanyos, A. Küronya, Lajos Rónyai	Computing Levi Decompositions in Lie algebras.	Appl. Algebra Eng. Commun. Comput.	1997	DBLP DOI BibTeX RDF	Associative algebras, Complexity, Decomposition, Symbolic computations, Lie algebras, Radical
47	Jonas Månsson, Patrik Nordbeck	A generalized Ufnarovski graph.	Appl. Algebra Eng. Commun. Comput.	2005	DBLP DOI BibTeX RDF	Non-commutative algebras, Automaton algebras, Ufnarovski graph, Dickson's lemma, Noetherianity, Automata
47	George Voutsadakis	Categorical abstract algebraic logic categorical algebraization of first-order logic without terms.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	Equivalent deductive systems, Equivalent institutions, Algebraizable institutions, Polyadic algebras, First-order logic, Monads, Institutions, Algebraic logic, Algebraizable logics, Adjunctions, Algebraic theories, Cylindric algebras, Triples
47	Afrodita Iorgulescu	Classes of examples of pseudo-MV algebras, pseudo-BL algebras and divisible bounded non-commutative residuated lattices.	Soft Comput.	2010	DBLP DOI BibTeX RDF	Pseudo-Wajsberg algebra, Pseudo-BCK algebra, Pseudo-Hájek(pP) algebra, Divisible bounded non-commutative residuated lattice, Divisible bounded pseudo-BCK(pP) lattice, Pseudo-MV algebra, Pseudo-BL algebra
47	Ewa Orlowska, Ingrid Rewitzky	Discrete Duality for Relation Algebras and Cylindric Algebras.	RelMiCS	2009	DBLP DOI BibTeX RDF
47	Rudolf Wille	Preconcept Algebras and Generalized Double Boolean Algebras.	ICFCA	2004	DBLP DOI BibTeX RDF
47	Zdenka Riecanová	Sub-effect algebras and Boolean sub-effect algebras.	Soft Comput.	2001	DBLP DOI BibTeX RDF	Sub-effect algebra, Boolean sub-effect algebra, Complete effect algebra, Blocks, Effect algebra
47	Barbara König 0001, Ugo Montanari, Philippa Gardner (eds.)	Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 6.-11. June 2004	Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems	2005	DBLP BibTeX RDF
47	Paolo Baldan, Barbara König 0001, Arend Rensink	Summary 2: Graph Grammar Verification through Abstraction.	Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems	2004	DBLP BibTeX RDF
47	Pawel Sobocinski 0001	Summary 1: Adhesivity, Bigraphs and Bisimulation Congruences.	Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems	2004	DBLP BibTeX RDF
47	Roberto Bruni, Ivan Lanese	Summary 3: On Graph(ic) Encodings.	Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems	2004	DBLP BibTeX RDF
44	Michal Botur, Ivan Chajda, Radomír Halas	Are basic algebras residuated structures?	Soft Comput.	2010	DBLP DOI BibTeX RDF	Basic algebra, Commutative basic algebra, Residuated groupoid, Skew adjointness property, Residuated lattice
44	Majid Alizadeh	Completions of Basic Algebras.	WoLLIC	2009	DBLP DOI BibTeX RDF	Basic algebra, Visser’s basic logic, Completion, Intuitionistic logic, Heyting algebra
44	Robert Wisbauer	Algebras Versus Coalgebras.	Appl. Categorical Struct.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 18A40, 18C20, 18C15, 16W30
44	Lianzhen Liu, Xiangyang Zhang	States on R0 algebras.	Soft Comput.	2008	DBLP DOI BibTeX RDF	R 0 algebra, MV algebra, State
44	J. Patricio Díaz Varela	Free Lukasiewicz implication algebras.	Arch. Math. Log.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 06F99, 08B20, 08A30
44	Michael Brough, Bakhadyr Khoussainov, Peter Nelson	Sequential Automatic Algebras.	CiE	2008	DBLP DOI BibTeX RDF
44	Björn Vormbrock	A Solution of the Word Problem for Free Double Boolean Algebras.	ICFCA	2007	DBLP DOI BibTeX RDF
44	Joel Berman, Willem J. Blok	Algebras Defined from Ordered Sets and the Varieties they Generate.	Order	2006	DBLP DOI BibTeX RDF	equationally definable order relation, subdirectly irreducible, Hilbert algebra, order algebra, algebra, ordered set, semilattice, quasi-order, free algebra
44	Rachid El Harti, Gábor Lukács	Bounded and Unitary Elements in Pro-C*-algebras.	Appl. Categorical Struct.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 18A05, 46H05, 46J05, 46K05
44	Jan Jakubik	Weak (m, n)-distributivity of lattice ordered groups and of generalized MV-algebras.	Soft Comput.	2006	DBLP DOI BibTeX RDF	Generalized MV-algebra, Weak -distributivity, Radical class, Lattice ordered group