Journal of Applied Non-Classical Logics

ISSN: 1166-3081
eISSN: 1958-5780
Publisher: Taylor and Francis

Publications (2)

close-button

Types of publications

Journal article
Unpublished / Preprint

Publication year

From
To

Abstract

Reasoning without believing: On the mechanisation of presuppositions and partiality (2012) Kerber M, Kohlhase M Journal article, Original article Higher-order multi-valued resolution (1999) Kohlhase M, Scheja O Journal article, Original article