Quantum States in Bivalent Logic
2014 (English)In: ICSEA 2014, The Ninth International Conference on Software Engineering Advances, 2014, 114-116 p.Conference paper (Refereed)
Bivalent or two-valued logic is presently the foundation of logic in mathematics and computer science, and a cornerstone of software development. To address a number of classical logical paradoxes, such as Russell’s, multi-valued logic, such as balanced ternary logic has shown to be useful. Current methods lead however to information loss. Thus, to theoretically improve the robustness of bivalent logic, this paper proposes the use of quantum states, followed by an example, where the proposed method is shown to be successful in the solution of a problem that is not directly solvable using contemporary methods.
Place, publisher, year, edition, pages
2014. 114-116 p.
bivalent logic; propositional logic; quantum state; Russell’s paradox; ternary logic
Computer Systems Algebra and Logic Other Physics Topics
IdentifiersURN: urn:nbn:se:uu:diva-235744ISBN: 978-1-61208-367-4OAI: oai:DiVA.org:uu-235744DiVA: diva2:761791
The Ninth International Conference on Software Engineering Advances, ICSEA 2014, Nice, France, October 2014