Residuated Boolean algebra - PDFSEARCH.IO - Document Search Engine

Residuated Boolean algebra
Results: 11

#	Item
1	Algebra Universalis, + 0.20/0 (~ 1995 BirkhS.user Verlag, Basel Adjoining units to residuated Boolean algebras Add to Reading List Source URL: math.chapman.edu Language: English - Date: 2017-09-16 11:16:44
2	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
3	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
4	A Fresh Look at Separation Algebras and Share Accounting? June 2009 Robert Dockins1 , Aquinas Hobor2 , and Andrew W. Appel1 1 Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2009-06-21 13:07:53 Mathematics Mathematical logic Algebra Algebraic logic Fuzzy logic Algebraic structures Boolean algebra Algebra over a field Residuated Boolean algebra Heyting algebra
5	Binary Relations, Algebras, Games R Hirsch, I Hodkinson, M Jackson, S Mikulas and others March 11, 2015 1 Add to Reading List Source URL: www-users.york.ac.uk Language: English - Date: 2015-05-01 04:08:35 Algebra Mathematics Abstract algebra Algebraic logic Algebraic structures Boolean algebra Mathematical logic Semigroup theory Relation algebra Monoid Residuated Boolean algebra Heyting algebra
6	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
7	The Network Operator Method for Synthesis of Intelligent Control System Jose Miguel Atiencia Villagomez Askhat Diveev Add to Reading List Source URL: www.genetic-programming.org Language: English - Date: 2013-06-23 23:01:08 Abstract algebra Symbol Function Vertex operator algebra Residuated Boolean algebra Mathematics Algebraic structures Functions and mappings
8	18.312: Algebraic Combinatorics Lionel Levine Lecture 12 Lecture date: March 17, 2011 Add to Reading List Source URL: www.math.cornell.edu Language: English - Date: 2011-08-19 00:40:35 Algebra Algebraic logic Incidence algebra Order theory Boolean algebra Lattice Fuzzy logic Residuated lattice Residuated Boolean algebra Abstract algebra Mathematics Algebraic structures
9	AAA 78 - Conference Schedule Friday June 12, Morning Add to Reading List Source URL: www.math.tu-dresden.de Language: English - Date: 2010-02-17 05:37:55 Algebraic structures Lattice theory Fuzzy logic Universal algebra Mathematical logic Distributive lattice Clone Residuated lattice Boolean algebra Abstract algebra Mathematics Algebra
10	An early approach toward graded identity and graded membership in set theory Siegfried Gottwald Add to Reading List Source URL: www.uni-leipzig.de Language: English - Date: 2009-12-01 16:27:22 Fuzzy logic Algebraic logic Algebraic structures Boolean algebra Boolean-valued model Monoidal t-norm logic MV-algebra Residuated lattice T-norm fuzzy logics Mathematical logic Logic Mathematics