uu.seUppsala universitets publikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat 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 (Engelska)Ingår i: ICSEA 2014, The Ninth International Conference on Software Engineering Advances, 2014, s. 114-116Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
2014. s. 114-116
Nyckelord [en]
bivalent logic; propositional logic; quantum state; Russell’s paradox; ternary logic
Nationell ämneskategori
Datorsystem Algebra och logik Annan fysik
Identifikatorer
URN: urn:nbn:se:uu:diva-235744ISBN: 978-1-61208-367-4 (tryckt)OAI: oai:DiVA.org:uu-235744DiVA, id: diva2:761791
Konferens
The Ninth International Conference on Software Engineering Advances, ICSEA 2014, Nice, France, October 2014
Tillgänglig från: 2014-11-07 Skapad: 2014-11-07 Senast uppdaterad: 2014-11-10

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Quantum States in Bivalent Logic

Personposter BETA

Fridenfalk, Mikael

Sök vidare i DiVA

Av författaren/redaktören
Fridenfalk, Mikael
Av organisationen
Institutionen för speldesign
DatorsystemAlgebra och logikAnnan fysik

Sök vidare utanför DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetricpoäng

isbn
urn-nbn
Totalt: 396 träffar
RefereraExporteraLänk till posten
Permanent länk

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