Reasoning without believing: on the mechanisation of presuppositions and partiality (Q4583173)
From MaRDI portal
scientific article; zbMATH DE number 6927949
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Reasoning without believing: on the mechanisation of presuppositions and partiality |
scientific article; zbMATH DE number 6927949 |
Statements
Reasoning without believing: on the mechanisation of presuppositions and partiality (English)
0 references
28 August 2018
0 references
presuppositions
0 references
many-valued logics
0 references
undefinedness
0 references
resolution calculus
0 references
