Nonclassical Proofs: Theory, Applications and Tools
Non-classical logics are logics different from classical, boolean logic. They provide languages for reasoning e.g., about knowledge, time, data structures, vague information, resources, and as such they are increasingly applied in various disciplines. The workshop "Nonclassical Proofs: Theory, Applications and Tools" ( NCPROOFS 14) will bring together distinguished experts from syntactic and algorithmic aspects of these logics and of their semantic structures, with the purpose of promoting a greater degree of communication between Proof Theory, Semantics and Automated Deduction.
- Agata Ciabattoni (chair)
- Paolo Baldi
- Björn Lellmann
- Revantha Ramanayake