uu.seUppsala universitets publikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Quantum States in Bivalent Logic
Uppsala universitet, Humanistisk-samhällsvetenskapliga vetenskapsområdet, Historisk-filosofiska fakulteten, Institutionen för speldesign.
2014 (engelsk)Inngår i: ICSEA 2014, The Ninth International Conference on Software Engineering Advances, 2014, s. 114-116Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
2014. s. 114-116
Emneord [en]
bivalent logic; propositional logic; quantum state; Russell’s paradox; ternary logic
HSV kategori
Identifikatorer
URN: urn:nbn:se:uu:diva-235744ISBN: 978-1-61208-367-4 (tryckt)OAI: oai:DiVA.org:uu-235744DiVA, id: diva2:761791
Konferanse
The Ninth International Conference on Software Engineering Advances, ICSEA 2014, Nice, France, October 2014
Tilgjengelig fra: 2014-11-07 Laget: 2014-11-07 Sist oppdatert: 2014-11-10

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Quantum States in Bivalent Logic

Personposter BETA

Fridenfalk, Mikael

Søk i DiVA

Av forfatter/redaktør
Fridenfalk, Mikael
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric

isbn
urn-nbn
Totalt: 395 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf