|
VIDEO LIBRARY |
International workshop "Logical Models of Reasoning and Computation"
|
|||
|
Nonclassical Proofs: theory, applications, and tools Agata Ciabattoni Vienna University of Technology |
|||
Abstract: I will describe a recently funded research project aiming to systematize proof theory for non-classical logics. Language: English |