• Home Page
• Photos
• Workshop
• Important dates
• Committees
• Invited speakers
• Contributed talks
• Registration
• Round table
• Presentations
• Participants
• More information

Contributed talks

• Libor Behounek. Set theory over Goedel fuzzy logic revisited. Abstract, slides.
• Felix Bou and Umberto Rivieccio. Logical Bilattices. Abstract, slides.
• Wojciech Buszkowski. Residuated Algebras and Full Generalized Lambek Calculus. Abstract, slides.
• Leonardo Manuel Cabrer, Manuela Busaniche and Daniele Mundici. Classification of finitely generated MV-algebras. Abstract, slides.
• Mihir Chakraborty and Soma Dutta. Theory of graded consequence and fuzzy logics. Abstract, slides.
• Lavinia Ciungu. Pseudo-BCK algebras with double negation. Abstract, slides.
• José Patricio Diaz Varela and Manuel Abad. Factors congruences in BCK-algebras. Abstract, slides.
• Josep Maria Font. On logics preserving degrees of truth. Abstract, slides.
• Hector Freytes. Cantor-Bernstein-Schröder theorem and the congruence lattice of an algebra. Abstract, slides.
• Nikolaos Galatos. Generalized ordinal sums and translations. Abstract, slides.
• Revaz Grigolia and Antonio di Nola. On one generated projective BL-algebras. Abstract, slides.
• Rostislav Horcik. Varieties of Cancellative Prelinear Semihoops Covering the Variety Generated by Negative Integers. Abstract, slides.
• Sándor Jenei. One more remark on the geometric description of residuated semigroups. Abstract, slides.
• Vincenzo Marra. Towards a possibility theory for Goedel logic. Abstract, slides.
• Martinvaldo Konig. Logics of Quantum Computation with Quantum Simulable Operators. Abstract, slides.
• Michal Kozak. Distributive Full Lambek Calculus Has the Finite Model Property. Abstract, slides.
• Jan Kühr. States on commutative basic algebras. Abstract, slides.
• Ioana Leustean. A logical approach to Riesz spaces. Abstract, slides.
• Enrico Marchioni. A Note on Amalgamation for Residuated Structures through Quantifier Elimination. Abstract, slides.
• Takashi Matsuhisa. Consensus on Truth in Communication through Robust Messages. Abstract, slides.
• Vilem Novak. EQ-algebras and fuzzy logic. Abstract, slides.
• Francesco Paoli, Roberto Giuntini, Antonio Ledda and Matthew Spinks. Logics of $\sqrt{^{\prime }}$ quasi-MV algebras. Abstract, slides.
• Irina Perfilieva. Semilinear l-space --- predecessor of residuated lattice. Abstract, slides.
• Jirì Rachunek. Local and perfect bounded residuated l-monoids. Abstract, slides.
• Ciro Russo. Interpretability of deductive systems: an algebraic approach. Abstract, slides.
• Mircea Sularia. On the logic of approximation problem solving. Abstract, slides.
• Clint van Alten. Preservation Theorems for MTL-Chains. Abstract, slides.
• Thomas Vetterlein. Fuzzy logics for Cadiag-2: achievements and problems. Abstract, slides.
• Shunsuke Yatabe. Are truth degrees about truth? Abstract, slides.

Contributed talks will be organized in a single track (no parallel sessions) and will last around 25 minutes, to allow for discussion and equipment preparation. The lecture room will be equipped with a blackboard, an overhead projector, a beamer, and a computer with Acrobat Reader and PowerPoint (or equivalent) installed, USB port and CD reader. Speakers will also be able to plug in their own computers; however, in order to save time and avoid potential problems, we strongly advise all speakers using computer and beamer to bring their presentation in an USB flash memory device or a CD-ROM and to use our equipment.

Upon registration, participants will receive a booklet containing abstracts of all contributed talks, as well as of the invited lectures.