Natural deduction in the setting of paraconsistent logic

Bolotov, Alexander (2011) Natural deduction in the setting of paraconsistent logic. In: 18th Automated Reasoning Workshop 2011 (ARW2011), 11th - 12th April 2011, University of Glasgow. (Submitted)

Full text not available from this repository.
Item Type: Conference or Workshop Item (Paper)
Subjects: University of Westminster > Science and Technology > Electronics and Computer Science, School of (No longer in use)
Depositing User: Rachel Wheelhouse
Date Deposited: 27 Jul 2012 11:15
Last Modified: 27 Jul 2012 11:15
URI: http://westminsterresearch.wmin.ac.uk/id/eprint/10953

Actions (login required)

Edit Item (Repository staff only) Edit Item (Repository staff only)