Call for Papers
Topics
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 inclusions logics
Non-Tarskian relatives of Kleene logics
Strict-Tolerant logic
Metainferential logics
Philosophical applications
Truth theory
Partial information
Analytic entailment
Logic of significance/nonsense
CS applications (e.g., belief revision, paraconsistent database update, partial information, etc.)
Abstract Submission
Extended abstracts should be:
Up to 2 pages (not including bibliography) in length
PDF format (.pdf)
Sent to TrendsInLogic2022Cagliari@gmail.com (trendsinlogic2022cagliari-AT-gmail-DOT-com)
Please begin the email subject with "[Abstract]"
Abstract submission has been closed.