Fork me on GitHub
Math for the people, by the people.

User login

generalized toposes with many-valued logic subobject classifiers

many-valued logic subobject classifier, algebraic category of LMn logic algebras, noncommutative lattice
generalized topoi with many-valued logic subobject classifiers, the category of n-valued, LMn-logic algebras and LMn-lattice morphisms, n-valued logic algebra, algebraic catgeory of n-valued logic lattices and lattice-morphisms
LMn-algebraic n-valued logic,algebraic category of $LM_n$ logic algebras
Type of Math Object: 
Major Section: 

Mathematics Subject Classification

58A03 no label found18B25 no label found03B15 no label found03G30 no label found03G20 no label found03B50 no label found

Subscribe to Comments for "generalized toposes with many-valued logic subobject classifiers"