Two results in negation-free logic
From MaRDI portal
Publication:1324497
DOI10.1016/0893-9659(93)90083-YzbMath0814.03003MaRDI QIDQ1324497
Arvind Kumar Gupta, James P. Delgrande
Publication date: 13 June 1995
Published in: Applied Mathematics Letters (Search for Journal in Brave)
03B10: Classical first-order logic
03D15: Complexity of computation (including implicit computational complexity)
03B05: Classical propositional logic
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
Cites Work