These notes form Lecture Notes of a short course which I will give at 1st School on Universal Logic in Montreux. They cannot be recommended for self studies because, although all definitions and main ideas are included, there are no proofs and examples. I’m going to provide some of them during my lectures, leaving easy ones as exercises. In the first part we discuss some of the most important n...

The Kontsevich integral of a knot K lies in an algebra of diagrams Ac(S ). This algebra is (up to completion) a symmetric algebra of a graded module P , where P is the set of primitive elements of Ac(S ). The elements of P are represented by S-diagrams K such that the complement of the circle in K is connected and non empty. On the other hand there is an isomorphism from ⊕Bn to Ac(S ), where Bn...

we consider properties of residuated lattices with universal quantifier and show that, for a residuated lattice $x$, $(x, forall)$ is a residuated lattice with a quantifier if and only if there is an $m$-relatively complete substructure of $x$. we also show that, for a strong residuated lattice $x$, $bigcap {p_{lambda} ,|,p_{lambda} {rm is an} m{rm -filter} } = {1}$ and hence that any strong re...