CfP: SL Special Issue, Residuated Lattices and Substructural Logics


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

The deadline for paper submissions is 30 September 2010, but we ask to inform us as soon as possible of your intention to submit by sending amessage to
Ten adres pocztowy jest chroniony przed spamowaniem. Aby go zobaczyć, konieczne jest włączenie w przeglądarce obsługi JavaScript..

The editors:
Nikolaos Galatos
Peter Jipsen
Tomasz Kowalski
Hiroakira Ono