Title: Nonclassical logics and information processing
Subjects: Logic programming, Nonclassical mathematical logic, Congresses, Proof theory, Artificial intelligence