Logic List Mailing Archive

Trends in Logic XXII

18-20 Jul 2022
Cagliari, Italy

Call for Papers: Trends in Logic XXII

18–20 July 2022
Cagliari, Italy

The 22nd Trends in Logic workshop, entitled "Strong & Weak Kleene Logics",
will take place at the University of Cagliari (Cagliari, Italy) on 18–20
July 2022. It is organized by the ALOPHIS research group of the Department
of Pedagogy, Psychology and Philosophy.

ABOUT WORKSHOP:

While the strong three-valued logic of Kleene and the Logic of Paradox have
long held a prominent place in the landscape of non-classical logics, the
last decade has seen a resurgence of interest in related logics, including
the Paraconsistent Weak Kleene logic (PWK) and Strict-Tolerant logics.
These logics put their own twist on the idea of three truth values and
accordingly they have varied philosophical readings and applications. Among
other things, they represent logics of partial information, logics of
nonsense, and logics of variable inclusion. Algebraic and proof-theoretic
methods have successfully been brought to bear on these logics, but much
remains to be explored. The aim of the workshop is to bring together
researchers working on these various facets of logics related to the strong
and weak Kleene systems, be they algebraic, proof-theoretic, or
philosophical.

The workshop will be held in a hybrid format, with in-person as well as
online sessions. In case conditions do not allow for sessions to be held in
person, the workshop will move to a fully online format.

The workshop will be followed by another event on neighbouring topics, the
second installment of the Workshop on Relating Logics from July 22–23.


INVITED SPEAKERS:

Eduardo Barrio (University of Buenos Aires & CONICET)
Massimiliano Carrara (University of Padua)
Pablo Cobreros (University of Navarra)
Paul Egré (Institut Jean-Nicod)
Peter Jipsen (Chapman University)
Tommaso Moraschini (University of Barcelona)
Graham Priest (University of Melbourne & CUNY)
Anna Romanowska (Warsaw University of Technology)

SCIENTIFIC COMMITTEE:

Jacek Malinowski (Chair)
Walter Carnielli
Roberto Giuntini
Daniele Mundici
Yde Venema
Heinrich Wansing

ORGANISING COMMITTEE:

Stefano Bonzio
Davide Fazio
Antonio Ledda
Francesco Paoli
Michele Pra Baldi
Adam Prenosil
Gavin St. John
Gandolfo Vergottini
Nicolò Zamperlin


PAPER SUBMISSION:

The topics of the workshop include, but are not limited to, the following:
•Proof theory and algebraic semantics for:
--Strong Kleene logic
--The Logic of Paradox LP
--Bochvar's logic
--Paraconsistent Weak Kleene logic PWK
•Kleene lattices and their expansions (e.g., MV-algebras)
•PÅ‚onka sums and regular varieties
•Left & right variable inclusion logics
•Non-Tarskian relatives of Kleene logics (e.g., Strict-Tolerant logic,
metainferential logics)
•Philosophical applications (e.g., truth theory, partial information,
analytic entailment, logic of significance/nonsense, etc.)
•CS applications (e.g., belief revision, paraconsistent database update,
partial information, etc.)

Submissions of extended abstracts (up to 2 pages, not counting the
bibliography). Abstracts should be sent via email to
trendsinlogic2022cagliari@gmail.com. Please write "[Abstract]" in the email
subject.

Full versions of selected papers will be published in a special issue of
Studia Logica after an open call for papers.


IMPORTANT DATES:
Deadline for submission: Friday, February 4, 2022
Notification of acceptance: Friday, April 15, 2022


CONTACT AND FURTHER DETAILS:
Website: https://sites.google.com/view/trendsinlogic2022cagliari

Please direct all inquiries by email to: trendsinlogic2022cagliari@gmail.com
--
[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