Kripke-type semantics for Da Costa's paraconsistent logic \(C_{\omega}\)
From MaRDI portal
Publication:1090674
DOI10.1305/ndjfl/1093636764zbMath0622.03013OpenAlexW2089979830MaRDI 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
Modal logic (including the logic of norms) (03B45) Categoricity and completeness of theories (03C35)
Related Items (4)
Game theoretical semantics for some non-classical logics ⋮ Limits for paraconsistent calculi ⋮ Topological Semantics for da Costa Paraconsistent Logics $$C_\omega $$ C ω and $$C^{*}_\omega $$ C ω ∗ ⋮ A family of genuine and non-algebraisable C-systems
This page was built for publication: Kripke-type semantics for Da Costa's paraconsistent logic \(C_{\omega}\)
