posted by organizer: trendsinlogic2022cagliari || 702 views || tracked by 1 users: [display]

TiL 2022 : Trends in Logic XXII


When Jul 18, 2022 - Jul 20, 2022
Where Cagliari, Italy
Submission Deadline Feb 4, 2022
Notification Due Apr 15, 2022
Categories    logic   philosophy   computer science   mathematics

Call For Papers

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) from 18–20 July 2022. It is organized by the ALOPHIS research group of the Department of Pedagogy, Psychology and Philosophy.


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 Workshop on Relating Logics from July 22--23.


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)


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


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


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 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.


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



Please direct all inquiries by email to:

Related Resources

ACM--ICMLT--Ei and Scopus 2022   ACM--2022 7th International Conference on Machine Learning Technologies (ICMLT 2022)--Ei Compendex, Scopus
IEEE WCCI 2022   IEEE World Congress on Computational Intelligence
RiE 2022   13th International Conference on Robotics in Education
LANMR 2022   Fourteenth Latin American Workshop series on Logic/Languages, Algorithms and New Methods of Reasoning
ACM-EI/Scopus-ITCC 2022   2022 2nd International Conference on Information Technology and Cloud Computing (ITCC 2022)
EXPRESS/SOS 2022   Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics
IWoSR 2022   2022 International Workshop on Service Robotics (IWoSR 2022)
LPNMR 2022   16th International Conference on Logic Programming and Non-monotonic Reasoning
FLPRSCBN 2022   JISYS (OA) - Fuzzy Logic in Pattern Recognition for Secure Connected Biological Networks
ACM--ICCAI--Ei Compendex, Scopus 2022   ACM--2022 8th International Conference on Computing and Artificial Intelligence (ICCAI 2022)--Ei Compendex, Scopus