Ordered Groups and Lattices in Algebraic Logic

Tbilisi, Georgia. September 20-23, 2011

Speakers:

Anatolij Dvurecenskij
University of Bratislava

Common Look to State-Morphism MV-algebras and State-Morphism Algebras

Antonio Di Nola
University of Salerno

Sheaf Representation of MV-algebras

Daniele Mundici
University of Florence

Measure Theory in the Geometry of the Affine Group over the Integers

David Gabelaia
Institute of Mathematics, Tbilisi State University

Topological Semantics of Modal Logic

Franco Montagna
Università Degli Studi di Siena

Quantifier elimination, Deductive Interpolation and Craig Interpolation in Fuzzy Logics

Hiroakira Ono
Japan Advanced Institute of Science and Technology

Crawley Completions and Semantics for Substructural Predicate Logics

Irina Perfilieva
University of Ostrava

On a Representation Theory of Integral, Residuated, Commutative Monoids

Krystyna Mruczek-Nasieniewska
Nicolaus Copernicus University

On Some Class of Algebras Definable by Externally Compatible Identities of MV-algebras

Luca Spada
University of Salerno

A general perspective for the arising of the duality between finitely presented MV-algebras and rational polyhedra

Mai Gehrke
University of Nijmegen

From the Esakia space of the free Heyting algebra on n generators to the n universal model for intuitionistic logic and back

Matthias Baaz
University of Technology, Vienna

Monadic Gödel Logics

Nick Bezhanishvili
Imperial College London

A Duality for Modal De Vries Algebras

Petr Cintula
Institute of Computer Science, Academy of Sciences of the Czech Republic

Equational Bases for Joins of Subvarieties of Algebras of Non-Classical Logics

Revaz Grigolia
Tbilisi State University

Finitely Generated Heyting and Boolean Algebras with Operators

Rostislav Horcik
Institute of Computer Science, Academy of Sciences of the Czech Republic

Holland's Theorem for Join-Semilattice Ordered Monoids and its Application to Residuated Lattices

Tomas Kroupa
Institute of Information Theory and Automation, Academy of Sciences of the Czech Republic

State as Expectation Operator on Free MV-algebra of Random Variables

Tomasz Kowalski
Australian National University

Quasi-Subtractive Varieties

Viacheslav Meskhi
Institute of Cybernetics, Georgian Technical University

A Note on Finite Heyting Algebras with Involution

Vilem Novak
University of Ostrava

On Algebras and Logics based on Fuzzy Equality

Vincenzo Marra
Università degli Studi di Milano

Proximity Relations on Lattice-Ordered Abelian Groups