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) |
|---|---|
| Research Community: | University of Westminster > Electronics and Computer Science, School of |
| ID Code: | 10953 |
| Deposited On: | 27 Jul 2012 12:15 |
| Last Modified: | 27 Jul 2012 12:15 |
Repository Staff Only: item control page
