Logic List Mailing Archive

CfP Studia Logica special issue on Residuated Lattices and Substructural Logics, Deadline: 30 Oct 2010

CfP: Studia Logica Special Issue on
Recent Developments related to
Residuated Lattices and Substructural Logics

+++ Deadline extension: October 30, 2010 +++

Studia Logica is the second oldest journal in logic, publishing
continuously for 60 years. One of the distinctive features of Studia
Logica is its focus on thematically organized issues, hence the large
number of special issues in the journal's history. One of the next
special issues will be entitled "Recent Developments related to
Residuated Lattices and Substructural Logics", and devoted to recent
developments in the field, as the title suggests. We have been asked
to serve as guest editors. We invite submissions of papers presenting
new results in the area. Any related research papers are welcome, but
we list below a few focal points:

* residuated lattices, their expansions and reducts
* relations between logical and algebraic notions
* proof theory of substructural logics
* abstract algebraic logic applied to substructural logics
* algebraic and topological methods in substructural logics
* computer assisted methods in residuated structures
* non-algebraic semantics of substructural logics
* complexity of decision procedures in substructural logics
* applications

Please send your submissions to ngalatos@du.edu by October 30.

The editors:
Nikolaos Galatos
Peter Jipsen
Tomasz Kowalski
Hiroakira Ono


---------------------------------------------------------
This email has been sent via Studia Logica address list;
see also http://www.StudiaLogica.org and
http://www.StudiaLogica.org/call.for.papers.html

We acknowledge the use of the following mailing list:
Algebra Universalis researchers:
http://www.math.umanitoba.ca/homepages/au/Researchers.html
Logicians in Japan: logic-ml@sato.kuis.kyoto-u.ac.jp
Logicians in China and Singapore
Polish Association for Logic and Philosophy of Science
---------------------------------------------------------
Best Regards
Krzysztof Pszczola       (www.StudiaLogica.org webmaster)
---------------------------------------------------------