Category Talk

Free $\mu$ŁΠ algebras

A presentation of the functional representation of the free μŁΠ algebras, this result, together with this and some more were collected in this paper. Given at Topological and Algebraic Methods in Non Classical Logics -TANCL- III, Oxford, 6-9 August 2007. Free muLPi…

Forcing in Łukasiewicz logic

A presentation of this work on Forcing in Łukasiewicz logic given at the $3^{rd}$ MATHLOGAPS Workshop in Aussois (France), $24^{th} − 30^{th} June 2007. Forcing in Łukasiewicz logic