Logo: to the web site of Uppsala University

uu.sePublications from Uppsala University
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Quantum States in Bivalent Logic
Uppsala University, Disciplinary Domain of Humanities and Social Sciences, Faculty of Arts, Department of Game Design.
2014 (English)In: ICSEA 2014, The Ninth International Conference on Software Engineering Advances, 2014, p. 114-116Conference paper, Published paper (Refereed)
Abstract [en]

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. p. 114-116
Keywords [en]
bivalent logic; propositional logic; quantum state; Russell’s paradox; ternary logic
National Category
Computer Systems Algebra and Logic Other Physics Topics
Identifiers
URN: urn:nbn:se:uu:diva-235744ISBN: 978-1-61208-367-4 (print)OAI: oai:DiVA.org:uu-235744DiVA, id: diva2:761791
Conference
The Ninth International Conference on Software Engineering Advances, ICSEA 2014, Nice, France, October 2014
Available from: 2014-11-07 Created: 2014-11-07 Last updated: 2014-11-10

Open Access in DiVA

No full text in DiVA

Other links

Quantum States in Bivalent Logic

Authority records

Fridenfalk, Mikael

Search in DiVA

By author/editor
Fridenfalk, Mikael
By organisation
Department of Game Design
Computer SystemsAlgebra and LogicOther Physics Topics

Search outside of DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 442 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf