VSL 2014: VIENNA SUMMER OF LOGIC 2014
NCPROOFS Home Page

Nonclassical Proofs: Theory, Applications and Tools

Overview

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.

 

Organization

  • Agata Ciabattoni (chair)
  • Paolo Baldi
  • Björn Lellmann
  • Revantha Ramanayake