  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.
