WestminsterResearch

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)
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