Matches in SemOpenAlex for { <https://semopenalex.org/work/W2012606287> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2012606287 endingPage "112" @default.
- W2012606287 startingPage "100" @default.
- W2012606287 abstract "Categorical Universal Logic is a theory of monad-relativised hyperdoctrines (or fibred universal algebras), which in particular encompasses categorical forms of both first-order and higher-order quantum logics as well as classical, intuitionistic, and diverse substructural logics. Here we show there are those dual adjunctions that have inherent hyperdoctrine structures in their predicate functor parts. We systematically investigate into the categorical logics of dual adjunctions by utilising Johnstone-Dimov-Tholen's duality-theoretic framework. Our set-theoretical duality-based hyperdoctrines for quantum logic have both universal and existential quantifiers (and higher-order structures), giving rise to a universe of Takeuti-Ozawa's quantum sets via the tripos-to-topos construction by Hyland-Johnstone-Pitts. The set-theoretical hyperdoctrinal models of quantum logic, as well as all quantum hyperdoctrines with cartesian base categories, turn out to give sound and complete semantics for Faggian-Sambin's first-order quantum sequent calculus over cartesian type theory; in addition, quantum hyperdoctrines with monoidal base categories are sound and complete for the calculus over linear type theory. We finally consider how to reconcile Birkhoff-von Neumann's quantum logic and Abramsky-Coecke's categorical quantum mechanics (which is modernised quantum logic as an antithesis to the traditional one) via categorical universal logic." @default.
- W2012606287 created "2016-06-24" @default.
- W2012606287 creator A5074219449 @default.
- W2012606287 date "2014-12-27" @default.
- W2012606287 modified "2023-10-18" @default.
- W2012606287 title "Duality Theory and Categorical Universal Logic: With Emphasis on Quantum Structures" @default.
- W2012606287 cites W1551308710 @default.
- W2012606287 cites W1973671322 @default.
- W2012606287 cites W1974089323 @default.
- W2012606287 cites W1980254898 @default.
- W2012606287 cites W2049362364 @default.
- W2012606287 cites W2099684400 @default.
- W2012606287 cites W2320080121 @default.
- W2012606287 cites W2963619589 @default.
- W2012606287 cites W3105957477 @default.
- W2012606287 cites W4243933121 @default.
- W2012606287 cites W4248166369 @default.
- W2012606287 cites W4249972707 @default.
- W2012606287 doi "https://doi.org/10.4204/eptcs.171.10" @default.
- W2012606287 hasPublicationYear "2014" @default.
- W2012606287 type Work @default.
- W2012606287 sameAs 2012606287 @default.
- W2012606287 citedByCount "7" @default.
- W2012606287 countsByYear W20126062872020 @default.
- W2012606287 countsByYear W20126062872021 @default.
- W2012606287 countsByYear W20126062872022 @default.
- W2012606287 crossrefType "journal-article" @default.
- W2012606287 hasAuthorship W2012606287A5074219449 @default.
- W2012606287 hasBestOaLocation W20126062871 @default.
- W2012606287 hasConcept C105295557 @default.
- W2012606287 hasConcept C108710211 @default.
- W2012606287 hasConcept C118615104 @default.
- W2012606287 hasConcept C121332964 @default.
- W2012606287 hasConcept C124952713 @default.
- W2012606287 hasConcept C136119220 @default.
- W2012606287 hasConcept C142362112 @default.
- W2012606287 hasConcept C169460222 @default.
- W2012606287 hasConcept C171032842 @default.
- W2012606287 hasConcept C182141236 @default.
- W2012606287 hasConcept C190474826 @default.
- W2012606287 hasConcept C202444582 @default.
- W2012606287 hasConcept C2524010 @default.
- W2012606287 hasConcept C33923547 @default.
- W2012606287 hasConcept C43682372 @default.
- W2012606287 hasConcept C58053490 @default.
- W2012606287 hasConcept C62520636 @default.
- W2012606287 hasConcept C65880906 @default.
- W2012606287 hasConcept C84114770 @default.
- W2012606287 hasConceptScore W2012606287C105295557 @default.
- W2012606287 hasConceptScore W2012606287C108710211 @default.
- W2012606287 hasConceptScore W2012606287C118615104 @default.
- W2012606287 hasConceptScore W2012606287C121332964 @default.
- W2012606287 hasConceptScore W2012606287C124952713 @default.
- W2012606287 hasConceptScore W2012606287C136119220 @default.
- W2012606287 hasConceptScore W2012606287C142362112 @default.
- W2012606287 hasConceptScore W2012606287C169460222 @default.
- W2012606287 hasConceptScore W2012606287C171032842 @default.
- W2012606287 hasConceptScore W2012606287C182141236 @default.
- W2012606287 hasConceptScore W2012606287C190474826 @default.
- W2012606287 hasConceptScore W2012606287C202444582 @default.
- W2012606287 hasConceptScore W2012606287C2524010 @default.
- W2012606287 hasConceptScore W2012606287C33923547 @default.
- W2012606287 hasConceptScore W2012606287C43682372 @default.
- W2012606287 hasConceptScore W2012606287C58053490 @default.
- W2012606287 hasConceptScore W2012606287C62520636 @default.
- W2012606287 hasConceptScore W2012606287C65880906 @default.
- W2012606287 hasConceptScore W2012606287C84114770 @default.
- W2012606287 hasLocation W20126062871 @default.
- W2012606287 hasLocation W20126062872 @default.
- W2012606287 hasOpenAccess W2012606287 @default.
- W2012606287 hasPrimaryLocation W20126062871 @default.
- W2012606287 hasRelatedWork W2012606287 @default.
- W2012606287 hasRelatedWork W2031881225 @default.
- W2012606287 hasRelatedWork W2075513489 @default.
- W2012606287 hasRelatedWork W2344831154 @default.
- W2012606287 hasRelatedWork W2381097996 @default.
- W2012606287 hasRelatedWork W2389227552 @default.
- W2012606287 hasRelatedWork W2417699198 @default.
- W2012606287 hasRelatedWork W2484461718 @default.
- W2012606287 hasRelatedWork W2962749364 @default.
- W2012606287 hasRelatedWork W2979505123 @default.
- W2012606287 hasVolume "171" @default.
- W2012606287 isParatext "false" @default.
- W2012606287 isRetracted "false" @default.
- W2012606287 magId "2012606287" @default.
- W2012606287 workType "article" @default.