Measurable Spaces and Their Effect Logic

So-called effect algebras and modules are basic mathematical structures that were first identified in mathematical physics, for the study of quantum logic and quantum probability. They incorporate a double negation law p ⊥⊥ = p. Since then it has been realised that these effect structures form a use...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science S. 83 - 92
1. Verfasser: Jacobs, Bart
Format: Tagungsbericht
Sprache:Englisch
Veröffentlicht: IEEE 01.06.2013
Schlagworte:
Algebra
Atmospheric measurements
duality
effect algebra
Equations
Extraterrestrial measurements
Giry monad
measurable space
Particle measurements
Probabilistic logic
Probabilistic system
Quantum computing
ISBN:1479904139, 9781479904136
ISSN:1043-6871
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Abstract So-called effect algebras and modules are basic mathematical structures that were first identified in mathematical physics, for the study of quantum logic and quantum probability. They incorporate a double negation law p ⊥⊥ = p. Since then it has been realised that these effect structures form a useful abstraction that covers not only quantum logic, but also Boolean logic and probabilistic logic. Moreover, the duality between effect and convex structures lies at the heart of the duality between predicates and states. These insights are leading to a uniform framework for the semantics of computation and logic. This framework has been elaborated elsewhere for settheoretic, discrete probabilistic, and quantum computation. Here the missing case of continuous probability is shown to fit in the same uniform framework. On a technical level, this involves an investigation of the logical aspects of the Giry monad on measurable spaces and of Lebesgue integration.
AbstractList So-called effect algebras and modules are basic mathematical structures that were first identified in mathematical physics, for the study of quantum logic and quantum probability. They incorporate a double negation law p ⊥⊥ = p. Since then it has been realised that these effect structures form a useful abstraction that covers not only quantum logic, but also Boolean logic and probabilistic logic. Moreover, the duality between effect and convex structures lies at the heart of the duality between predicates and states. These insights are leading to a uniform framework for the semantics of computation and logic. This framework has been elaborated elsewhere for settheoretic, discrete probabilistic, and quantum computation. Here the missing case of continuous probability is shown to fit in the same uniform framework. On a technical level, this involves an investigation of the logical aspects of the Giry monad on measurable spaces and of Lebesgue integration.
Author Jacobs, Bart
Author_xml – sequence: 1
  givenname: Bart
  surname: Jacobs
  fullname: Jacobs, Bart
  email: bart@cs.ru.nl
  organization: Inst. for Comput. & Inf. Sci. (iCIS), Radboud Univ., Nijmegen, Netherlands
BookMark eNotzD1PwzAQAFBLFImmsLGxeGRJuPP5ox5RVEqlIIaWubKdMwSVtIrLwL9ngOltrxKz8TiyELcIDSL4h27TbhsFSA3ShahQO-9BI_mZmCNoqu3S4ZWoSvkEAGU1zMX9C4fyPYV4YLk9hcRFhrGXuw8eJrnKmdNZdsf3IV2LyxwOhW_-XYi3p9Wufa671_WmfezqoDSea-V1yhyzi4mSSZFZRTJ9VJ6WiV2yvodglI6sTHZAzIkiWTLKQYYYaSHu_t6BmfenafgK08_eGoeGPP0CCKhA1A
CODEN IEEPAD
ContentType Conference Proceeding
DBID 6IE
6IH
CBEJK
RIE
RIO
DOI 10.1109/LICS.2013.13
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Proceedings Order Plan (POP) 1998-present by volume
IEEE Xplore All Conference Proceedings
IEEE Xplore Digital Library
IEEE Proceedings Order Plans (POP) 1998-present
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE Electronic Library (IEL)
  url: https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EndPage 92
ExternalDocumentID 6571539
Genre orig-research
GroupedDBID --Z
23M
29P
6IE
6IF
6IH
6IK
6IL
6IM
6IN
AAJGR
AAWTH
ADZIZ
ALMA_UNASSIGNED_HOLDINGS
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CBEJK
CHZPO
IEGSK
IJVOP
IPLJI
M43
OCL
RIE
RIL
RIO
RNS
ID FETCH-LOGICAL-a241t-294cfebf7bc3c5cbee2b35db2938ce7c69d0a524be25f703eec3b3635270f0bb3
IEDL.DBID RIE
ISBN 1479904139
9781479904136
ISICitedReferencesCount 10
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000326815000012&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 1043-6871
IngestDate Wed Aug 27 04:17:06 EDT 2025
IsPeerReviewed false
IsScholarly true
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-a241t-294cfebf7bc3c5cbee2b35db2938ce7c69d0a524be25f703eec3b3635270f0bb3
PageCount 10
ParticipantIDs ieee_primary_6571539
PublicationCentury 2000
PublicationDate 2013-June
PublicationDateYYYYMMDD 2013-06-01
PublicationDate_xml – month: 06
  year: 2013
  text: 2013-June
PublicationDecade 2010
PublicationTitle 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
PublicationTitleAbbrev lics
PublicationYear 2013
Publisher IEEE
Publisher_xml – name: IEEE
SSID ssj0002640
ssj0001035133
Score 2.036036
Snippet So-called effect algebras and modules are basic mathematical structures that were first identified in mathematical physics, for the study of quantum logic and...
SourceID ieee
SourceType Publisher
StartPage 83
SubjectTerms Algebra
Atmospheric measurements
duality
effect algebra
Equations
Extraterrestrial measurements
Giry monad
measurable space
Particle measurements
Probabilistic logic
Probabilistic system
Quantum computing
Title Measurable Spaces and Their Effect Logic
URI https://ieeexplore.ieee.org/document/6571539
WOSCitedRecordID wos000326815000012&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV09b8IwED0B6tCJtlD1Wx46dKghteMYz6iolShCgkpsyB8XqUtANPD7azsBOnTplmSKfbp79t29ewCPJg3JRiup0KmkKWeGGi4UZZkNeOW0zuN0_bGcTAaLhZo24PnAhUHE2HyGvfAYa_luZbchVdbPhPQOqprQlFJWXK1jPiWUxPgxCnugrycRcJr5W0EkdUkfe33UVvtZT_V7duiIV_3x-3AWOr54Lyge_FJciYAzav_vV8-ge2TukekBk86hgcUFtPfSDaT25A48fcTcYOBNkdk6tGURXTgyD2UDUk00JkGG2Xbhc_Q6H77RWjSBag_GJWUqtTmaXBrLrbAGkfnNd8bD-sCitJlyiRYsNchE7t0d0XLD_bGDySRPjOGX0CpWBV4BMagYQyHR-jOiclx5w-HAJYmR3sQ6v4ZOWPhyXc3FWNZrvvn78y2cskpKgiYvd9AqN1u8hxO7K7--Nw_RmD9liJgt
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV09b8IwED1RWqmdaAtVv-uhQ4cagh3H8YyKQA0ICSqxodi5SF0CotDfX9sJ0KFLtyRT7NPds-_u3QN41qFLNhpJRRpKGnKmqeZCURYZh1dZmuZ-un4ix-N4PleTGrzuuTCI6JvPsO0efS0_W5qtS5V1IiGtg6ojOBZhyLolW-uQUXFFMX6Iwxbqq1kEnEb2XuBpXdJGXxu31W7aU_Ue7XviVScZ9qau54u3nebBL80VDzn9xv9-9hxaB-4emexR6QJqWFxCYyfeQCpfbsLLyGcHHXOKTFeuMYukRUZmrnBAypnGxAkxmxZ89N9mvQGtZBNoauF4Q5kKTY46l9pwI4xGZHb7M22BPTYoTaSyIBUs1MhEbh0e0XDN7cGDySAPtOZXUC-WBV4D0agYQyHR2FOiyriypsM4CwItrZHT_AaabuGLVTkZY1Gt-fbvz09wOpiNkkUyHL_fwRkrhSVo0L2H-ma9xQc4Md-bz6_1ozfsD4kFm3Q
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=2013+28th+Annual+ACM%2FIEEE+Symposium+on+Logic+in+Computer+Science&rft.atitle=Measurable+Spaces+and+Their+Effect+Logic&rft.au=Jacobs%2C+Bart&rft.date=2013-06-01&rft.pub=IEEE&rft.isbn=9781479904136&rft.issn=1043-6871&rft.spage=83&rft.epage=92&rft_id=info:doi/10.1109%2FLICS.2013.13&rft.externalDocID=6571539
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1043-6871&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1043-6871&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1043-6871&client=summon