Cao, Cungen, Key Laboratory of Intelligent Information Processing, Institute of Computing Technology, Chinese Academy of Sciences, China
-
Vol 5, No 2 (2016) - Original Research
The nonmonotonic Gentzen deduction systems for the propositional logic
Abstract PDF
Artificial Intelligence Research
ISSN 1927-6974 (Print) ISSN 1927-6982 (Online)
Copyright © Sciedu Press
To make sure that you can receive messages from us, please add the 'Sciedupress.com' domain to your e-mail 'safe list'. If you do not receive e-mail in your 'inbox', check your 'bulk mail' or 'junk mail' folders.