Annotated natural deduction for adaptive reasoning

Allo, Patrick and Primiero, Giuseppe (2018) Annotated natural deduction for adaptive reasoning. In: Graham Priest on Dialetheism and Paraconsistency. Baskent, Can and Ferguson, Thomas, eds. Outstanding Contributions in Logic . Springer. . (Accepted/In press)

[img] PDF - Final accepted version (with author's formatting)
Restricted to Repository staff and depositor only

Download (484kB)
Item Type: Book Section
Editors: Baskent, Can and Ferguson, Thomas
Research Areas: A. > School of Science and Technology > Computer Science > Foundations of Computing group
Item ID: 23426
Useful Links:
Depositing User: Giuseppe Primiero
Date Deposited: 30 Jan 2018 15:23
Last Modified: 13 Apr 2019 00:01

Actions (login required)

Edit Item Edit Item

Full text downloads (NB count will be zero if no full text documents are attached to the record)

Downloads per month over the past year