Juan Carlos Agudelo
Dpt of Mathematics, University of Antoquia, Medellin, Columbia
"Polynomial Ring Calculus and Gröbner Basis, Two Algebraic Resolution Methods for Classical and Non-classical Logics"

Clint van Alten
School of Computer Science University of the Witwatersrand, Johannesburg, South Africa
"Partial Algebraic Semantics"

Petr Cintula and Carles Nogueira
Institute of Computer Science, Academy of Sciences of Czech Republic and Artificial Intelligence Research Institute, Spanish Council for Scientific Research, Spain
"A note on the hierarchy of algebraizable logics"

Alex Citkin
Metropolitan Telecommunications, New York, USA
"Ternary Deductive Term and Structural Completeness"

Daniel Mircea Gaina
Japan Advanced Institute of Science and Technology
"Interpolation in First Order Logics with Constructors"

Oscar E. Gracía-Quintero and Juan Carlos Agudelo
Dpt of Mathematics, University of Antioquia, Medellin, Columbia
"Algebraic Resolution Methods for Propositional Logics Characterized by Boolean Algebras with Operators"

Joanna Grygiel, Anetta Górnicka and Katarzyna Grygiel
Institute of Mathematics and Computer Science. Jan Dlugosz University of Czestochowa, Poland
"Lattice Tolerances and their Blocks"

Sándor Jenei
Dpt of Informatics, University of Pécs, Hungary
"New Involutive FLe-algebra Constructions"

Michal Kozak
Poznan Supercomputing and Networking Center, Polish Academy of Sciences, Poznan, Poland
"Nuclei over (Quasi-ordered) Monoids and Symmetric Constructive FL-algebras"

Alexandre Madeira, Manuel A.Martins, Luis S.Barbosa
Dpt of Informatics, University of Minho and Dpt of Mathematics, University of Aveiro, Portugal
"Hybridizing logics for quantitative reasoning"

Alfio Martini, Edward Hermann Häuesler and Uwe Wolter
Dpt of Informatics, PUC-Rio, PUC-RS, Brazil, University of Bergen, Norway
"A Fibred and Indexed Semantics for a Hoare-like Logic"

Cyrus F. Nourani
Akdmkrd.tripod.com and Simon Fraser University, Canada
"Product Models on Positive Process Algebras"

Darllan Conceção Pinto and Hugo Luiz Mariano
Dpt of Mathematics, University of São Paulo, Brazil
"Representation Theory of Logics: a Categorial Approach"

Bradimir Seselja
Dpt of Mathematics and Informatics, University of Novia Sad, Serbia
"An axiomatic approach to weak lattice-valued orderings"

Leandro Suguitani, Itala Maria Loffredo D’Ottaviano and Jorge Petrucio Viana
Center of Logic, State University of Campinas - UNICAMP and Dpt of mathematica, UFF, Brazil
"The Logic of Equality and the Logic of Order"

Andrea Tepavcevic
Dpt of Mathematics and Informatics, Faculty of Science, University of Novi Sad, Serbia
"General Formulas for Compatible Relations"