Buchumschlag

Projection-algebras and quantum logic

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Lehmann, Daniel
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Quantum Physics Logic in Computer Science Logic 81P10, 06C15, 03G12
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

On orthoposets of numerical events in quantum logic
von: Dorninger, Dietmar, et al.
Veröffentlicht: (2026)

Three Fixed-Dimension Satisfiability Semantics for Quantum Logic: Implications and an Explicit Separator
von: Higuchi, Joaquim Reizi
Veröffentlicht: (2026)

Categorical Equivalence Between Finitary Orthomodular Dynamic Algebras and Orthomodular Lattices
von: Putra, Juanda Kelana, et al.
Veröffentlicht: (2026)

A countable Boolean algebra that is Reichenbach's common cause complete
von: Burešová, Dominika
Veröffentlicht: (2025)

Critical elements in algebras of numerical events
von: Dorninger, Dietmar, et al.
Veröffentlicht: (2025)

Axioms of Quantum Mechanics in light of Continuous Model Theory
von: Zilber, Boris
Veröffentlicht: (2025)

Dirac - von Neumann axioms in the setting of Continuous Model Theory
von: Zilber, Boris
Veröffentlicht: (2025)

On $\mathscr{T}$-based orthomodular dynamic algebras
von: Paseka, Jan, et al.
Veröffentlicht: (2026)

Quantales carrying ortholattice structure
von: Botur, Michal, et al.
Veröffentlicht: (2026)

Categories of orthosets and adjointable maps
von: Paseka, Jan, et al.
Veröffentlicht: (2025)

Modal logic, fundamentally
von: Holliday, Wesley H.
Veröffentlicht: (2024)

The first fatal axiom for weakened sequential products on finite MV-effect algebras: Local obstruction, exact low-rank classification, and the rank-one boundary case
von: Higuchi, Joaquim Reizi
Veröffentlicht: (2026)

Towards a Simplified Theory of Double Boolean Algebras: Axioms and Topological Representation
von: Howlader, Prosenjit, et al.
Veröffentlicht: (2026)

Adjointness of generalized Sasaki operations in posets
von: Chajda, Ivan, et al.
Veröffentlicht: (2024)

Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics
von: Holliday, Wesley H.
Veröffentlicht: (2022)

A natural deduction system for orthomodular logic
von: Kornell, Andre
Veröffentlicht: (2021)

The prime spectrum of an $L$-algebra
von: Rump, W., et al.
Veröffentlicht: (2022)

Decidable varieties of p-algebras
von: Kowalski, Tomasz, et al.
Veröffentlicht: (2024)

Free p-algebras revisited: an algebraic investigation of implication-free intuitionism
von: Kowalski, Tomasz, et al.
Veröffentlicht: (2024)

Term algebras of elementarily equivalent atom structures
von: Andréka, H., et al.
Veröffentlicht: (2018)

Splittings in varieties of logic
von: Davey, Brian A., et al.
Veröffentlicht: (2025)

Team Semantics and Independence Notions in Quantum Physics
von: Abramsky, Samson, et al.
Veröffentlicht: (2021)

On syntactic concept lattice models for the Lambek calculus and infinitary action logic
von: Kuznetsov, Stepan L.
Veröffentlicht: (2025)

Equational theories of idempotent semifields
von: Metcalfe, George, et al.
Veröffentlicht: (2024)

How to take cats together
von: Carollo, Imanol Mozo
Veröffentlicht: (2024)

On the Quantum Chromatic Gap
von: Ciardo, Lorenzo
Veröffentlicht: (2025)

Classical Simulation of Quantum CSP Strategies
von: Banakh, Demian, et al.
Veröffentlicht: (2025)

Quantum Polymorphisms and the Complexity of Quantum Constraint Satisfaction
von: Ciardo, Lorenzo, et al.
Veröffentlicht: (2025)

Obligations and permissions on selfextensional logics
von: De Domenico, Andrea, et al.
Veröffentlicht: (2024)

Cross-Sections of Divisible Abelian $o$-Groups via Tame Pairs
von: Piepenborn, Ricardo Palomino
Veröffentlicht: (2025)

Correspondence Theory for Many-valued Modal Logic
von: Britz, Cecelia, et al.
Veröffentlicht: (2024)

Rough sets semantics for the three-valued extension of first-order Priest's da Costa logic
von: Castiglioni, José Luis, et al.
Veröffentlicht: (2025)

An Optimal 14-Symbol Hybrid Basis for BCH-Algebras
von: Ramani, Mahesh, et al.
Veröffentlicht: (2026)

A complete logic for causal consistency
von: Simmons, Will, et al.
Veröffentlicht: (2024)

Vaught's Conjecture and Theories of Partial Order Admitting a Finite Lexicographic Decomposition
von: Kurilić, Miloš S.
Veröffentlicht: (2026)

The Dual of Quantifier Elimination: Boolean Elimination over C and R
von: Frank, Matthew
Veröffentlicht: (2025)

Discrete dualities for some algebras from rough sets
von: Düntsch, Ivo, et al.
Veröffentlicht: (2026)

A universal characterization of standard Borel spaces
von: Chen, Ruiyuan
Veröffentlicht: (2019)

Anchored Implication & Event-Indexed Fixed Points in Hilbert Spaces: Uniqueness and Quantitative Rates
von: Alpay, Faruk, et al.
Veröffentlicht: (2025)

Tense logics based on posets
von: Chajda, Ivan, et al.
Veröffentlicht: (2024)