Abstracts

This list contains the contributed talks that have been accepted by the Programme Committee
      and have not been withdrawn by their authors.
For abstracts of invited lectures please go to the conference webpage (see above).
Participants in the meeting will receive a booklet with all abstracts.

Stefano Aguzzoli Poset Representation of Free Algebras in Some Varieties of Residuated Structures
Majid Alizadeh On the Löb algebras
Clint van Alten Deduction Theorems in Logics without Exchange
Sergei V. Babyonyshev Weakly algebraizable Gentzen systems
Alexandru Baltag The logic of quantum information flow
Nick Bezhanishvili The variety generated by the Rieger-Nishimura lattice
Félix Bou Residuation on weakly Heyting algebras
Dmitry Bredikhin On partially ordered algebras of relations with the domino operations
Manuela Busaniche Geometry of Robinson consistency in Lukasiewicz logic
Wojciech Buszkowski The logic of pregroups and the Lambek calculus
Ivan Chajda Lattice representation of MV-algebras
Petr Cintula Deduction theorems in weakly implicative logics
Janusz Czelakowski General theory of the commutator for deductive systems
Jie Fang Ockham algebras with double pseudocomplementation
Maria João Ferreira Galois connections and (quasi-)uniform structures
Aldo Figallo, Jr. Free algebras over a poset
Martín Figallo Some results about diagonal-free two-dimensional cylindric algebras
Tommaso Flaminio Extending the monoidal t-norm based logic with an independent involutive negation
David Gabelaia Pointwise discontinuous functions from a modal point of view
Nikolaos Galatos Equivalence of Consequence Relations: An Order-Theoretic and Categorical Perspective, II
Mai Gehrke Generalized Kripke frames
Brunella Gerla Local MV-algebras and quasi-constant functions
Àngel Gil On an infinite-valued Lukasiewicz logic that preserves degrees of truth
José Gil-Férez Categorical abstract algebraic logic: the isomorphism theorem
Lluís Godo On product logic with truth-constants
Ricardo Gonçalves On the algebraization of valuation semantics
Revaz Grigolia Co-product of Heyting algebras
Marcel Guillaume For a constant more
Radomir Halaš Weakly standard BCC-algebras
Georges Hansoul Priestley duality for distributive semilattices
John Harding MacNeille completions of modal algebras
Rostislav Horčík Archimedean Completeness and Subvarieties of PMTL-algebras
Afrodita Iorgulescu On BL and weak-BL (MTL) algebras and related algebras
Sándor Jenei Geometry of associativity - theory and application
Ioseb Khutsishvili Critical elements in the lattice of varieties of Fan Algebras
Hitoshi Kihara Halldén Completeness and Pseudo-relevance Property of Substructural Logics
Stanislav Kikotx A new generalization of Sahlqvist theorem
Zofia Kostrzycka On normal extensions of monadic and {→, ^[¯] } fragment of Grzegorczyk's logic
Tomasz Kowalski New proof of Boolean amalgamation of orthomodular lattices
Andrey Kudinov Difference modality in topological spaces
Jan Kühr Sectionally residuated semilattices
Alexander Kurz Concrete and Abstract Logics for Coalgebras
Léonard Kwuida Prime Ideal Theorem for Weakly Dicomplemented Lattices
Ramaz Liparteliani MVn-algebras with closure operations
Tadeusz Litak On strong completeness
Vincenzo Marra Computing coproducts of finitely presented Goedel algebras
George Metcalfe Residuated lattices and density
Alexei Muravitsky A description of the lattice of the normal extensions of S4
Petra Murinová Consequences of omitting types in fuzzy predicate logic with evaluated syntax
Mirko Navara When a residuum can be a derived operation of fuzzy logic
Carles Noguera On the variety of WNM-algebras
Antonio Di Nola Composition on MV-algebras
Vilem Novak Principal fuzzy type theories as higher order fuzzy logics
Francesco Paoli MV algebras and quantum computation
Jan Paseka The finite model property for knotted extensions of quantized intuitionistic linear logic
Irina Perfilieva McNaughton Theorem in BL-Logic
Jorge Picado The quantale of Galois connections
Norbert Preining Mathematical Methods and First-Order Gödel Logics
Kenneth A. Presting Linear representation of relational operations
Jiri Rachunek States on bounded residuated l-monoids
Mehrnoosh Sadrzadeh An order-theoretic approach to dynamic epistemic logic and its corresponding sequent calculus
Dana Šalounová Local bounded commutative residuated l-monoids
Claudia A. Sanza On monadic nxm-valued Lukasiewicz algebras with negation
Branimir Seselja Classification of functions in cardinal power
Valentin Shehtman New results on neighbourhood semantics for modal and intermediate logics
Mikhail Sheremet Similarity, metric, topology
Dmitrij Skvortsov On the superintuitionistic predicate logics of Kripke frames based on denumerable chains
Katarzyna Słomczyńska Free finitely generated equivalential algebras
Sonja Smets Axiomatizations of Quantum Actions
Luca Spada LP logic with fixed point operator
Matthew Spinks On the assertional logic of the generic pointed discriminator variety
Dmitry Sustretov Modal correspondence for topological semantics
Andreja Tepavcevic Construction of different types of fuzzy sets with a given family of cuts
Eugeniusz Tomaszewski Algebraic approach to canonical formulas in ExtFL_ew and NExtK
Constantine Tsinakis Equivalence of Consequence Relations: An Order-Theoretic and Categorical Perspective, I
Levan Uridia The modal logic of Minimal Topological spaces
Diego Vaggione Axiomatizability by sentences of the form (All)(Exist)! & p = q
Ventura Verdu The (internal) logical system of residuated lattices, its fragments and their involutive extensions
Thomas Vetterlein Metrics on universes of propositions determining continuous t-norms
Elbert Walker Automorphisms of powers of linearly ordered sets
Annika M. Wille The word problem for involutive residuated lattices
Andrzej Wronski Transparent unification for equivalential algebras and some related varieties
Lemnaouar Zedam On the representation of Lukasievicz-Mosil algebras by intuitionistic fuzzy sets
Alicia N. Ziliani On generalized Ockham-Nelson algebras with a quantifier