Transfer theorems for extensions of the paraconsistent Nelson logic

DOI10.1007/S10469-006-0021-8MaRDI QIDQ5294718zbMATH OpenOpenAlexFDO

Authors S. P. Odintsov

Publication date 26 July 2007

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

Full work available at URL https://doi.org/10.1007/s10469-006-0021-8

zbMATH Keywords

Craig's interpolation propertyparaconsistent Nelson logicpretabular logictabular logic

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Recommendations

• The class of extensions of Nelson's paraconsistent logic
• Nelson's paraconsistent logics
• Proof theory of Nelson's paraconsistent logic: a uniform perspective
• Paraconsistent logics and translations
• An embedding-based completeness proof for Nelson's paraconsistent logic
• On the equivalence of paraconsistent and explosive versions of Nelson logic
• Natural deduction systems for Nelson's paraconsistent logic and its neighbors
• Algebraic Semantics for Paraconsistent Nelson's Logic
• On extensions of Nelson's logic satisfying Dummett's axiom
• scientific article; zbMATH DE number 1222489

Cited in

(4)

• On extensions of Nelson's logic satisfying Dummett's axiom
• A note on natural extensions in abstract algebraic logic
• Transfer Results for Hybrid Logic. Part I: The Case Without Satisfaction Operators
• Nelson algebras, residuated lattices and rough sets: A survey

This page was built for publication: Transfer theorems for extensions of the paraconsistent Nelson logic

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