| RUS ENG |
| Full version |
|
|
|
| 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 |
|||