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.