Generalized Kripke semantics for Nelson's logic

DOI10.1007/S10469-010-9107-4zbMath1272.03119OpenAlexW2084255366MaRDI QIDQ694210

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 semanticsKripke semanticsgeneralized frameNelson logic

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Related Items (2)

On deductive bases for paraconsistent answer set semantics ⋮ Inference rules in Nelson's logics, admissibility and weak admissibility

Cites Work

• Unnamed Item
• Unnamed Item
• The class of extensions of Nelson's paraconsistent logic
• Constructive negations and paraconsistency
• On extensions of intermediate logics by strong negation
• Pretabular superintuitionistic logic
• Algebraic Semantics for Paraconsistent Nelson's Logic

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