Dear authors,
\nWe are pleased to inform you that the call for papers for the special volume of Trends in Logic dedicated to the Conference AsubL (Algebra and substructural Logics – take 6) held in Cagliari on June 2018 will be<\/p>\n
open from October 12th<\/strong> until December 31th<\/strong>.<\/p>\n We welcome contributions from all interested researchers.\u00a0A submissions webpage, with instructions for authors, can be found at:<\/p>\n https:\/\/goo.gl\/forms\/lfc64lJ2Ztwga48u1<\/a><\/strong><\/p>\n Contributed manuscripts should be prepared according with the following \u00a0template<\/a>.<\/p>\n 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 \u2013 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 \u2013 or, better, the fecund interplay of algebra and proof theory \u2013 has proved very useful in providing a unifying framework for these investigations. In particular, the series of conferences AsubL \u2013 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.<\/p>\n AsubL (Algebra & Substructural Logics – Take 6) was held at the University of Cagliari, Italy (Department of Pedagogy, Psychology, Philosophy) on June 11th \u2013 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:<\/p>\n PROOF THEORY FOR SUBSTRUCTURAL LOGICS ALGEBRAIC STRUCTURES FOR SUBSTRUCTURAL LOGICS METHODS FOR THE INVESTIGATION OF SUBSTRUCTURAL LOGICS RELATIONSHIPS WITH OTHER FAMILIES OF LOGICS With kindest regards,<\/p>\n The guest Editors Davide Fazio, Antonio Ledda and Francesco Paoli.<\/p>\n <\/p>\n <\/p>\n <\/p>\n <\/p>","protected":false},"excerpt":{"rendered":" Dear authors, We are pleased to inform you that the call for papers for the special volume of Trends in Logic dedicated to the Conference AsubL (Algebra and substructural Logics – take 6) held in Cagliari on June 2018 will … Continua a leggere
\nProof theory of substructural logics
\nGame-theoretic semantics for substructural logics<\/p>\n
\nResiduated lattices
\nAlgebraic structures for many-valued logics: MV-algebras, BL-algebras, MTL-algebras and their noncommutative generalizations
\nSubstructural implication and its semantics: hoops, pocrims, Hilbert algebras<\/p>\n
\nTopics in universal algebra related to substructural logics
\nSubstructural logics from the viewpoint of Abstract Algebraic Logic
\nDuality for substructural logics<\/p>\n
\nConnections between substructural logics and quantum logics
\nConnections between substructural logics and relevance logics<\/p>\n