A quasi-discursive system \(ND_2^+\)

DOI10.1305/NDJFL/1163775444zbMath1113.03022OpenAlexW2068247439MaRDI QIDQ866500

Janusz Ciuciura

Publication date: 20 February 2007

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1163775444

zbMATH Keywords

paraconsistencysemanticsnegationaxiomatizationparaconsistent logicdiscussive logicdiscursive logiclabeled tableaux

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Related Items (1)

Axiomatizing Jaśkowski's discussive logic \(\mathbf{D_2}\)

This page was built for publication: A quasi-discursive system \(ND_2^+\)