Kripke-type semantics for Da Costa's paraconsistent logic \(C_{\omega}\)
From MaRDI portal
Publication:1090674
DOI10.1305/ndjfl/1093636764zbMath0622.03013MaRDI QIDQ1090674
Publication date: 1986
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093636764
Kripke semantics; negation; extension of positive intuitionist logic; Gentzenisation; negated forlulas
Related Items