<--- Back to Details
First PageDocument Content
Algebra / Mathematics / Abstract algebra / Boolean algebra / Algebraic logic / Algebraic structures / Lattice theory / Algebra over a field / Heyting algebra / Complete Boolean algebra
Date: 2010-06-05 10:07:22
Algebra
Mathematics
Abstract algebra
Boolean algebra
Algebraic logic
Algebraic structures
Lattice theory
Algebra over a field
Heyting algebra
Complete Boolean algebra

Open problems in Boolean algebras over partially ordered sets Mohamed Bekkali University sidi mohamed ben abdullah (USMBA) Fez, Morocco

Add to Reading List

Source URL: spot.colorado.edu

Download Document from Source Website

File Size: 68,30 KB

Share Document on Facebook

Similar Documents

Algebra Universalis,  + 0.20/0 (~ 1995 BirkhS.user Verlag, Basel  Adjoining units to residuated Boolean algebras

Algebra Universalis, + 0.20/0 (~ 1995 BirkhS.user Verlag, Basel Adjoining units to residuated Boolean algebras

DocID: 1v8wA - View Document

American Computer Science League Flyer Solutions 1. Boolean Algebra ( A  B) ( AB  BC ) = A B ( AB  BC ) = AA B  A BB C  0  0  0

American Computer Science League Flyer Solutions 1. Boolean Algebra ( A  B) ( AB  BC ) = A B ( AB  BC ) = AA B  A BB C  0  0  0

DocID: 1uZJ8 - View Document

Visualising the Boolean Algebra IB4 in 3D Hans Smessaert & Lorenz Demey KU Leuven, Belgium Rhombic Dodecahedron (RDH)  LOGICAL GEOMETRY

Visualising the Boolean Algebra IB4 in 3D Hans Smessaert & Lorenz Demey KU Leuven, Belgium Rhombic Dodecahedron (RDH) LOGICAL GEOMETRY

DocID: 1up5i - View Document

BOO axioms BOO001-0.ax Ternary Boolean algebra (equality) axioms m(m(v, w, x), y, m(v, w, z)) = m(v, w, m(x, y, z)) cnf(associativity, axiom) m(y, x, x) = x cnf(ternary multiply1 , axiom)

BOO axioms BOO001-0.ax Ternary Boolean algebra (equality) axioms m(m(v, w, x), y, m(v, w, z)) = m(v, w, m(x, y, z)) cnf(associativity, axiom) m(y, x, x) = x cnf(ternary multiply1 , axiom)

DocID: 1u9q0 - View Document

On Solving Boolean Multilevel Optimization Problems∗ Josep Argelich INESC-ID Lisbon

On Solving Boolean Multilevel Optimization Problems∗ Josep Argelich INESC-ID Lisbon

DocID: 1rsZm - View Document