Residuated lattice - PDFSEARCH.IO - Document Search Engine

Residuated lattice
Results: 24

#	Item
1	CANCELLATIVE RESIDUATED LATTICES P. BAHLS, J. COLE, N. GALATOS, P. JIPSEN, C. TSINAKIS Abstract. Cancellative residuated lattices are a natural generalization of lattice-ordered groups (`-groups). Although cancellative m Add to Reading List Source URL: www1.chapman.edu Language: English - Date: 2004-02-29 17:14:24
2	Munich, Germany August 21, 2009 PLMMS’09 Proceedings of the ACM SIGSAM 2009 International Workshop on Programming Add to Reading List Source URL: plmms09.cse.tamu.edu Language: English - Date: 2009-08-19 04:48:38 Algebraic structures Mathematical logic Algebraic logic Lattice theory Order theory Galois connection Field Heyting algebra Relation algebra variste Galois Residuated lattice Group
3	Dedekind-MacNeille completions of residuated lattices Joint work with A. Ciabattoni and K. Terui Nikolaos Galatos University of Denver June 6, 2009 Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2010-06-06 18:43:04 Mathematics Algebra Abstract algebra Algebraic logic Lattice theory Mathematical logic Order theory Algebraic structures Heyting algebra Residuated lattice Boolean algebra DedekindMacNeille completion
4	Relation algebras as expanded FL-algebras Nikolaos Galatos and Peter Jipsen University of Denver and Chapman University Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2010-06-05 22:55:46 Mathematics Algebra Abstract algebra Algebraic logic Mathematical logic Fuzzy logic Boolean algebra Algebraic structures Residuated lattice Relation algebra Variety Binary relation
5	Sunday, 21 9:00-10:00 10:00-10:30 10:30-10:55 10:55-11:20 11:20-11:45 Add to Reading List Source URL: logica.dmi.unisa.it Language: English - Date: 2015-06-18 11:41:28 Logic Mathematics Algebra Fuzzy logic Non-classical logic Lattice theory Mathematical logic Algebraic logic Monoidal t-norm logic BL Residuated lattice MV-algebra
6 $ON THE STRUCTURE OF GENERALIZED BL-ALGEBRAS P. JIPSEN AND F. MONTAGNA Abstract. A generalized BL-algebra (or GBL-algebra for short) is a residuated lattice that satisfies the identities x ∧ y = ((x ∧ y)/y)y = y(y\(x$	ON THE STRUCTURE OF GENERALIZED BL-ALGEBRAS P. JIPSEN AND F. MONTAGNA Abstract. A generalized BL-algebra (or GBL-algebra for short) is a residuated lattice that satisfies the identities x ∧ y = ((x ∧ y)/y)y = y(y\(x Add to Reading List Source URL: math.chapman.edu Language: English - Date: 2005-06-20 16:18:57
7	Outline Part I Residuated Lattices Universal Algebra Add to Reading List Source URL: mathcs.chapman.edu Language: English - Date: 2009-01-10 03:41:36 Lattice theory Fuzzy logic Algebraic structures Mathematical logic Order theory Residuated lattice Lattice Monoidal t-norm logic Heyting algebra Abstract algebra Mathematics Logic
8	The categorical equivalence between complete (semi)lattices with operators and contexts with relations Peter Jipsen Add to Reading List Source URL: math.chapman.edu Language: English - Date: 2012-06-15 00:09:09 Boolean algebra Algebraic logic Algebraic structures Lattice theory Heyting algebra Kripke semantics Residuated lattice Distributive lattice Relation algebra Logic Mathematical logic Mathematics
9	A Survey of Residuated Lattices P. Jipsen and C. Tsinakis Abstract. Residuation is a fundamental concept of ordered structures and categories. In this survey we consider the consequences of adding a residuated monoid ope Add to Reading List Source URL: www1.chapman.edu Language: English - Date: 2003-04-01 18:18:05 Algebraic structures Lattice theory Fuzzy logic Algebraic logic Mathematical logic Residuated lattice Heyting algebra Relation algebra Lattice Abstract algebra Mathematics Logic
10	The Blok-Ferreirim theorem for normal GBL-algebras and its application Add to Reading List Source URL: math.chapman.edu Language: English - Date: 2007-08-07 18:46:38 Fuzzy logic Lattice theory Algebraic logic Algebraic structures Residuated lattice MV-algebra Variety BL Heyting algebra Logic Mathematical logic Mathematics