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|
Actions (login required)
|Edit Item (Repository staff only)|