PlanetMath:

(more info)

Math for the people, by the people.

Main Menu

Encyclopedia by subject

03G20 - Mathematical logic and foundations :: Algebraic logic :: Lukasiewicz and Post algebras

algebraic category of -logic algebras owned by bci1 bibliography of many-valued logics and applications owned by bci1 biogroupoids and mathematical models of species evolution owned by bci1 formal logics and meta-mathematics owned by bci1 fuzzy subset owned by ggerla generalized toposes with many-valued logic subobject classifiers owned by bci1 Jan \L{}ukasiewicz owned by Mravinci non-Abelian structures owned by bci1 non-Abelian theory owned by bci1 algebraic geometry and algebraic topology references list for homological algebra owned by bci1
Show empty categories:
[ up \| top ]