Matches in SemOpenAlex for { <https://semopenalex.org/work/W2952653109> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2952653109 abstract "This paper surveys some recent developments towards a quantum and outlines its explicite construction -- some analogies and contrasts with other logics of dynamics are indicated. Abstract: The development of ``(static) operational quantum logic points out that classical boolean structures are too rigid to describe actual and potential properties of quantum systems. On other hand, an perspective on operational quantum guides us in direction of incorporating dynamics logically by reconsidering primitive propositions required to describe behavior of a quantum system, in particular in view of emergent disjunctivity due to non-determinism of quantum measurements. A further elaboration on intuitionistic quantum logic emerges into a dynamic operational quantum logic, which allows us to express reasoning in sense that we can capture how actual properties propagate, including their temporal causal structure, and provides a unified logical description of systems which evolve or which are submitted to measurements. This setting reveals that even static operational quantum bears a hidden ingredient in terms of what is called the orthomodularity of lattice-structure. Focusing on quantale semantics for operational quantum we delineate some points of difference with existing quantale semantics for (non)-commutative linear logic." @default.
- W2952653109 created "2019-06-27" @default.
- W2952653109 creator A5016374907 @default.
- W2952653109 creator A5047963230 @default.
- W2952653109 creator A5063318978 @default.
- W2952653109 date "2001-06-08" @default.
- W2952653109 modified "2023-09-27" @default.
- W2952653109 title "Logic of Dynamics & Dynamics of Logic; Some Paradigm Examples" @default.
- W2952653109 cites W1485153875 @default.
- W2952653109 cites W1497366684 @default.
- W2952653109 cites W1498181701 @default.
- W2952653109 cites W1504779208 @default.
- W2952653109 cites W1527487696 @default.
- W2952653109 cites W1535155962 @default.
- W2952653109 cites W1536747473 @default.
- W2952653109 cites W1864185780 @default.
- W2952653109 cites W1941740496 @default.
- W2952653109 cites W1976029304 @default.
- W2952653109 cites W1986407511 @default.
- W2952653109 cites W1996686235 @default.
- W2952653109 cites W2012968289 @default.
- W2952653109 cites W2047299335 @default.
- W2952653109 cites W2072782595 @default.
- W2952653109 cites W2074070481 @default.
- W2952653109 cites W2078432227 @default.
- W2952653109 cites W2090090005 @default.
- W2952653109 cites W2114229927 @default.
- W2952653109 cites W2117499087 @default.
- W2952653109 cites W2166666657 @default.
- W2952653109 cites W2255369813 @default.
- W2952653109 cites W2264507360 @default.
- W2952653109 cites W2911865844 @default.
- W2952653109 cites W2996255527 @default.
- W2952653109 cites W2998439403 @default.
- W2952653109 cites W3126996113 @default.
- W2952653109 cites W591631338 @default.
- W2952653109 hasPublicationYear "2001" @default.
- W2952653109 type Work @default.
- W2952653109 sameAs 2952653109 @default.
- W2952653109 citedByCount "2" @default.
- W2952653109 crossrefType "posted-content" @default.
- W2952653109 hasAuthorship W2952653109A5016374907 @default.
- W2952653109 hasAuthorship W2952653109A5047963230 @default.
- W2952653109 hasAuthorship W2952653109A5063318978 @default.
- W2952653109 hasConcept C105295557 @default.
- W2952653109 hasConcept C11255438 @default.
- W2952653109 hasConcept C121332964 @default.
- W2952653109 hasConcept C136119220 @default.
- W2952653109 hasConcept C15184713 @default.
- W2952653109 hasConcept C169460222 @default.
- W2952653109 hasConcept C202444582 @default.
- W2952653109 hasConcept C203087015 @default.
- W2952653109 hasConcept C33923547 @default.
- W2952653109 hasConcept C41008148 @default.
- W2952653109 hasConcept C62520636 @default.
- W2952653109 hasConcept C80444323 @default.
- W2952653109 hasConcept C84114770 @default.
- W2952653109 hasConceptScore W2952653109C105295557 @default.
- W2952653109 hasConceptScore W2952653109C11255438 @default.
- W2952653109 hasConceptScore W2952653109C121332964 @default.
- W2952653109 hasConceptScore W2952653109C136119220 @default.
- W2952653109 hasConceptScore W2952653109C15184713 @default.
- W2952653109 hasConceptScore W2952653109C169460222 @default.
- W2952653109 hasConceptScore W2952653109C202444582 @default.
- W2952653109 hasConceptScore W2952653109C203087015 @default.
- W2952653109 hasConceptScore W2952653109C33923547 @default.
- W2952653109 hasConceptScore W2952653109C41008148 @default.
- W2952653109 hasConceptScore W2952653109C62520636 @default.
- W2952653109 hasConceptScore W2952653109C80444323 @default.
- W2952653109 hasConceptScore W2952653109C84114770 @default.
- W2952653109 hasLocation W29526531091 @default.
- W2952653109 hasOpenAccess W2952653109 @default.
- W2952653109 hasPrimaryLocation W29526531091 @default.
- W2952653109 hasRelatedWork W1535155962 @default.
- W2952653109 hasRelatedWork W1543118902 @default.
- W2952653109 hasRelatedWork W1567975588 @default.
- W2952653109 hasRelatedWork W1632582781 @default.
- W2952653109 hasRelatedWork W167232668 @default.
- W2952653109 hasRelatedWork W1972325829 @default.
- W2952653109 hasRelatedWork W1980479755 @default.
- W2952653109 hasRelatedWork W2114297355 @default.
- W2952653109 hasRelatedWork W2117499087 @default.
- W2952653109 hasRelatedWork W21647633 @default.
- W2952653109 hasRelatedWork W2336123333 @default.
- W2952653109 hasRelatedWork W2473841607 @default.
- W2952653109 hasRelatedWork W2562968750 @default.
- W2952653109 hasRelatedWork W2598230523 @default.
- W2952653109 hasRelatedWork W2735284929 @default.
- W2952653109 hasRelatedWork W2788880482 @default.
- W2952653109 hasRelatedWork W2885466623 @default.
- W2952653109 hasRelatedWork W3121015818 @default.
- W2952653109 hasRelatedWork W3126237895 @default.
- W2952653109 hasRelatedWork W3131340738 @default.
- W2952653109 isParatext "false" @default.
- W2952653109 isRetracted "false" @default.
- W2952653109 magId "2952653109" @default.
- W2952653109 workType "article" @default.