Basic Four-Valued Systems of Cyclic Negations
From MaRDI portal
Publication:6200455
DOI10.18778/0138-0680.2022.21OpenAlexW4316092307MaRDI QIDQ6200455
Oleg Grigor'ev, Dmitry Zaitsev
Publication date: 29 February 2024
Published in: Bulletin of the Section of Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.18778/0138-0680.2022.21
Related Items (1)
Cites Work
- Generalizing functional completeness in Belnap-Dunn logic
- Some useful 16-valued logics: How a computer network should think
- Constructive negations and paraconsistency
- A few more useful 8-valued logics for reasoning with tetralattice \(EIGHT_{4}\)
- An algebraic approach to non-classical logics
- What is negation?
- Paraconsistent double negations as classical and intuitionistic negations
- Partiality and its dual
- Bi-facial truth: a case for generalized truth values
- Logical Dynamics of Information and Interaction
- How a Computer Should Think
- Bilattice Logics and Demi-Negation
- Negation by iteration
- Many-Valued Logics and Translations
- Machines, Logic and Quantum Physics
- The Trilattice of Constructive Truth Values
- ON CONTRA-CLASSICAL VARIANTS OF NELSON LOGIC N4 AND ITS CLASSICAL EXTENSION
- LOGICS FROM QUANTUM COMPUTATION
- Conservative translations
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Basic Four-Valued Systems of Cyclic Negations
