AN AXIOMATIZATION OF WANSING'S EXPANSION OF NELSON'S LOGIC

DOI10.4467/20842589RM.15.003.3912zbMath1391.03025OpenAlexW2194870784MaRDI QIDQ4596925

Hitoshi Omori

Publication date: 11 December 2017

Full work available at URL: https://doi.org/10.4467/20842589rm.15.003.3912

zbMATH Keywords

intuitionistic logicnonmonotonic reasoningaxiomatizationJankov's logicNelson's logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Paraconsistent logics (03B53)

This page was built for publication: AN AXIOMATIZATION OF WANSING'S EXPANSION OF NELSON'S LOGIC