![](/img/cover-not-exists.png)
The nonmonotonic Gentzen deduction systems for the propositional logic
Cao, Cungen, Sui, Yuefei, Wang, YuhuiVolume:
5
Language:
english
Journal:
Artificial Intelligence Research
DOI:
10.5430/air.v5n2p111
Date:
August, 2016
File:
PDF, 2.59 MB
english, 2016