A note on Grigoriev and Zaitsev's system CNL^2_4

DOI10.4204/EPTCS.415.20MaRDI QIDQ6934028zbMATH OpenFDO

Authors Hitoshi Omori, Jonas Rafael Becker Arenhart

Publication date 3 September 2025

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.4204/EPTCS.415.20

Mathematics Subject Classification ID

Many-valued logic (03B50)

Cites work

• A criterion of fullness of many-valued systems of propositional logic
• A non-deterministic view on non-classical negations
• Analetheism and dialetheism
• Basic Four-Valued Systems of Cyclic Negations
• Bilattice logics and demi-negation
• Classical negation and expansions of Belnap-Dunn logic
• Connections between some notions of completeness of structural propositional calculi
• Generalizing functional completeness in Belnap-Dunn logic
• scientific article; zbMATH DE number 7576856 (Why is no real title available?)
• Negation by iteration
• On connegation
• On contra-classical variants of Nelson logic \textbf{N4} and its classical extension
• Paraconsistent double negations as classical and intuitionistic negations
• Quine and Slater on paraconsistency and deviance

This page was built for publication: A note on Grigoriev and Zaitsev's system \(\mathrm{CNL}^2_4\)

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