Logic List Mailing Archive

CfP volume on Algebra & Subsstructural Logics in the series "Trends in Logic", Deadline: 31 Dec 2018

Dear authors,

With the present e-mail, we are pleased to inform you that the call for 
papers for the special issue of Trends in Logic dedicated to the 
Conference AsubL (Algebra and substructural Logics - take 6) held in 
Cagliari on June 2018 will be open from October 12th until December 31th. 
We welcome contributions from all interested researchers. A submissions 
webpage, with instructions for authors, can be found at

http://sites.unica.it/asubl6/proceedings/

Substructural logics, so named because they are usually formulated as 
Gentzen systems that lack one or more structural rules, have been 
intensively studied over the past two decades by logicians of various 
persuasions ? mathematicians, philosophers, linguists and computer 
scientists. Substructural logics are applicable to the mathematical 
investigation of such processes as resource-conscious reasoning, 
approximate reasoning, type-theoretical grammar, and other focal notions 
in computer science, epistemology, economics, and linguistics. The 
recourse to algebraic methods ? or, better, the fecund interplay of 
algebra and proof theory ? has proved very useful in providing a unifying 
framework for these investigations. In particular, the series of 
conferences AsubL ? Algebra and Substructural Logic, has played an 
important role in these developments. The series started in 1999, with a 
conference organised by Hiroakira Ono and Tomasz Kowalski at the Japan 
Institute of Science and Technology (JAIST), and went on to an overall 6 
installments so far, held in Japan, Poland, Australia, and Italy.

AsubL (Algebra & Substructural Logics - Take 6) was held at the University 
of Cagliari, Italy (Department of Pedagogy, Psychology, Philosophy) on 
June 11th ? 13th, 2018, as an event in the framework of the Horizon 2020 
Project SYSMICS: SYntax meets Semantics: Methods, Interactions, and 
Connections in Substructural logics. Five invited lectures (by H. Ono, A. 
Dvurecenskij, T. Kowalski, P. Schroeder-Heister and H. Sankappanavar) and 
36 contributed talks were presented. It can be said that the workshop 
showcased the state of the art in the research on this topic. Following 
the spirit of the meeting, the present book proposal is aimed at exploring 
the following main topics:


PROOF THEORY FOR SUBSTRUCTURAL LOGICS
Proof theory of substructural logics
Game-theoretic semantics for substructural logics

ALGEBRAIC STRUCTURES FOR SUBSTRUCTURAL LOGICS
Residuated lattices
Algebraic structures for many-valued logics: MV-algebras, BL-algebras, MTL-algebras and their noncommutative generalizations
Substructural implication and its semantics: hoops, pocrims, Hilbert algebras

METHODS FOR THE INVESTIGATION OF SUBSTRUCTURAL LOGICS
Topics in universal algebra related to substructural logics
Substructural logics from the viewpoint of Abstract Algebraic Logic
Duality for substructural logics

RELATIONSHIPS WITH OTHER FAMILIES OF LOGICS
Connections between substructural logics and quantum logics
Connections between substructural logics and relevance logics

With kindest regards,

The guest Editors Davide Fazio, Antonio Ledda and Francesco Paoli.
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam