Search filters

Reasoning without believing: on the mechanisation of presuppositions and partiality

Image Image of a generic work. The text above it indicates that there is no free image of the work available, and that if you own one, you can click on the placeholder link to upload it.
Description article by Manfred Kerber & Michael Kohlhase published December 2012 in Journal of Applied Non-Classical Logics
Author/s

author: Manfred Kerber  Michael Kohlhase 

Publication date December 2012
Language
Country of origin
Wikipedia link
Copyright status
Missing/wrong data? Edit Wikidata item