Generalized Kripke semantics for Nelson's logic

DOI10.1007/S10469-010-9107-4MaRDI QIDQ694210zbMATH OpenOpenAlexFDO

Authors E. I. Latkin

Publication date 11 December 2012

Published in Algebra and Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10469-010-9107-4

zbMATH Keywords

algebraic semanticsgeneralized frameKripke semanticsNelson logic

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Recommendations

• An embedding-based completeness proof for Nelson's paraconsistent logic
• Kripke Completeness of First-Order Constructive Logics with Strong Negation
• Algebraic Semantics for Paraconsistent Nelson's Logic
• scientific article; zbMATH DE number 759444
• On extensions of intermediate logics by strong negation

Cites work

• Algebraic Semantics for Paraconsistent Nelson's Logic
• Constructive negations and paraconsistency
• scientific article; zbMATH DE number 3143685 (Why is no real title available?)
• scientific article; zbMATH DE number 4123702 (Why is no real title available?)
• On extensions of intermediate logics by strong negation
• Pretabular superintuitionistic logic
• The class of extensions of Nelson's paraconsistent logic

Cited in

(4)

• Inference rules in Nelson's logics, admissibility and weak admissibility
• Kleene's Logic, Generalized
• On deductive bases for paraconsistent answer set semantics
• An embedding-based completeness proof for Nelson's paraconsistent logic

This page was built for publication: Generalized Kripke semantics for Nelson's logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q694210)