The attack as intuitionistic negation
From MaRDI portal
Publication:4644572
DOI10.1093/JIGPAL/JZW012zbMath1405.03026arXiv1510.00077OpenAlexW2267487863MaRDI QIDQ4644572
Publication date: 8 January 2019
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1510.00077
Logic in artificial intelligence (68T27) Logic in computer science (03B70) Many-valued logic (03B50) Subsystems of classical logic (including intuitionistic logic) (03B20)
This page was built for publication: The attack as intuitionistic negation