New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic
From MaRDI portal
Publication:3196356
DOI10.2168/LMCS-11(3:24)2015zbMath1338.03117arXiv1205.3940MaRDI QIDQ3196356
Publication date: 29 October 2015
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1205.3940
Related Items
A categorical foundation for structured reversible flowchart languages, A note on distances between probabilistic and quantum distributions, Category-theoretic structure for independence and conditional independence, Neural nets via forward state transformation and backward loss transformation, Condition/decision duality and the internal logic of extensive restriction categories, The expectation monad in quantum foundations, From probability monads to commutative effectuses, (Modular) Effect Algebras are Equivalent to (Frobenius) Antispecial Algebras, Towards a Categorical Account of Conditional Probability, Total and Partial Computation in Categorical Quantum Foundations, Generic weakest precondition semantics from monads enriched with order, Quantum effect logic in cognition, Unnamed Item, Unnamed Item, Unnamed Item, Coordinatizing some concrete MV algebras and a decomposition theorem, Effectuses from monads, A predicate/state transformer semantics for Bayesian learning, Affine Monads and Side-Effect-Freeness, A Type Theory for Probabilistic and Bayesian Reasoning, A categorical foundation for structured reversible flowchart languages: Soundness and adequacy, Unnamed Item, A channel-based perspective on conjugate priors, A universal property for sequential measurement, Inversion, Iteration, and the Art of Dual Wielding, Disintegration and Bayesian inversion via string diagrams, A Formal Semantics of Influence in Bayesian Reasoning
