Title: Automated Deduction in Nonclassical Logics
Subjects: Proof theory, Modality (Logic), Künstliche Intelligenz, Prüfprogramm, Intuitionistic mathematics, Automatisches Beweisverfahren, Modalité (Logique), Preuve, Théorie de la, Nichtklassische Logik, Mathématiques intuitionnistes, Intuitionisme (Mathématiques), Logic, symbolic and mathematical, Artificial intelligence