Open AccessThe nonmonotonic Gentzen deduction systems for the propositional logic
Author(s) -
Cungen Cao,
Yuefei Sui,
Yuhui Wang
Publication year - 2016
Publication title -
artificial intelligence research
Language(s) - English
Resource type - Journals
eISSN - 1927-6982
pISSN - 1927-6974
DOI - 10.5430/air.v5n2p111
Subject(s) - natural deduction , propositional calculus , mathematics , propositional variable , calculus (dental) , computer science , discrete mathematics , programming language , intermediate logic , description logic , medicine , dentistry