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

User login

generalized toposes with many-valued logic subobject classifiers

Defines: 
many-valued logic subobject classifier, algebraic category of LMn logic algebras, noncommutative lattice
Keywords: 
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
Synonym: 
LMn-algebraic n-valued logic,algebraic category of $LM_n$ logic algebras
Type of Math Object: 
Topic
Major Section: 
Reference

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"