Mathematics – Logic
Scientific paper
2011-03-26
Mathematics
Logic
LaTeX, amsproc, 20 pages; Proceedings of the Conference on Mathematical Sciences for Advancement of Science and Technology, MS
Scientific paper
Usually a name of the category is inherited from the name of objects. However more relevant for a category of objects and morphisms is an algebra of morphisms. Therefore we prefer to say a category of graphs if every morphism is a graph. In a monoidal category every morphism can be seen as a graph, and a partial algebra of morphisms possesses a structure of an operad, operad of graphs. We consider a monoidal category of operad of graphs with underlying graphical calculus. If, in particular, there is a single generating objects, then each morphism is a bi-arity graph. The graphical calculus, multi-grafting of morphisms, is developed ab ovo. We interpret algebraic logic and predicate calculus within a monoidal category of operad of graphs, and this leads to the graphical logic. A logic based on a braided monoidal category is said to be the braided logic. We consider a braided monoidal category generated by one object. We are demonstrating how the braided logic is related to implicative algebra and to the Heyting algebra (in contrary to the Boolean algebra) and therefore must be more related to the quasigroups then to the lattices. Some applications to classical logic, to modal logic and to Lukasiewicz three-valued logic are considered.
Chavez Rodriguez Maria Ernestina
Oziewicz Zbigniew
No associations
LandOfFree
Monoidal category of operad of graphs does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Monoidal category of operad of graphs, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Monoidal category of operad of graphs will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-223731