:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Lehmann, Daniel
Format:	Preprint
Published:	2024
Subjects:	Quantum Physics Logic in Computer Science Logic 81P10, 06C15, 03G12
Online Access:	https://arxiv.org/abs/2402.07042
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On orthoposets of numerical events in quantum logic
by: Dorninger, Dietmar, et al.
Published: (2026)

Three Fixed-Dimension Satisfiability Semantics for Quantum Logic: Implications and an Explicit Separator
by: Higuchi, Joaquim Reizi
Published: (2026)

Categorical Equivalence Between Finitary Orthomodular Dynamic Algebras and Orthomodular Lattices
by: Putra, Juanda Kelana, et al.
Published: (2026)

A countable Boolean algebra that is Reichenbach's common cause complete
by: Burešová, Dominika
Published: (2025)

On $\mathscr{T}$-based orthomodular dynamic algebras
by: Paseka, Jan, et al.
Published: (2026)

Critical elements in algebras of numerical events
by: Dorninger, Dietmar, et al.
Published: (2025)

Axioms of Quantum Mechanics in light of Continuous Model Theory
by: Zilber, Boris
Published: (2025)

Dirac - von Neumann axioms in the setting of Continuous Model Theory
by: Zilber, Boris
Published: (2025)

Modal logic, fundamentally
by: Holliday, Wesley H.
Published: (2024)

Quantales carrying ortholattice structure
by: Botur, Michal, et al.
Published: (2026)

Categories of orthosets and adjointable maps
by: Paseka, Jan, et al.
Published: (2025)

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
by: Higuchi, Joaquim Reizi
Published: (2026)

A natural deduction system for orthomodular logic
by: Kornell, Andre
Published: (2021)

Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics
by: Holliday, Wesley H.
Published: (2022)

Towards a Simplified Theory of Double Boolean Algebras: Axioms and Topological Representation
by: Howlader, Prosenjit, et al.
Published: (2026)

Adjointness of generalized Sasaki operations in posets
by: Chajda, Ivan, et al.
Published: (2024)

The prime spectrum of an $L$-algebra
by: Rump, W., et al.
Published: (2022)

Decidable varieties of p-algebras
by: Kowalski, Tomasz, et al.
Published: (2024)

Free p-algebras revisited: an algebraic investigation of implication-free intuitionism
by: Kowalski, Tomasz, et al.
Published: (2024)

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

Splittings in varieties of logic
by: Davey, Brian A., et al.
Published: (2025)

Term algebras of elementarily equivalent atom structures
by: Andréka, H., et al.
Published: (2018)

Team Semantics and Independence Notions in Quantum Physics
by: Abramsky, Samson, et al.
Published: (2021)

On the Quantum Chromatic Gap
by: Ciardo, Lorenzo
Published: (2025)

Classical Simulation of Quantum CSP Strategies
by: Banakh, Demian, et al.
Published: (2025)

Quantum Polymorphisms and the Complexity of Quantum Constraint Satisfaction
by: Ciardo, Lorenzo, et al.
Published: (2025)

A complete logic for causal consistency
by: Simmons, Will, et al.
Published: (2024)

Equational theories of idempotent semifields
by: Metcalfe, George, et al.
Published: (2024)

Quantum Random Self-Modifiable Computation
by: Fiske, Michael Stephen
Published: (2018)

A Cut-Free Sequent Calculus for the Analysis of Finite-Trace Properties in Concurrent Systems
by: Fusco, Ludovico, et al.
Published: (2025)

On syntactic concept lattice models for the Lambek calculus and infinitary action logic
by: Kuznetsov, Stepan L.
Published: (2025)

Correspondence Theory for Many-valued Modal Logic
by: Britz, Cecelia, et al.
Published: (2024)

A universal characterization of standard Borel spaces
by: Chen, Ruiyuan
Published: (2019)

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

Cross-Sections of Divisible Abelian $o$-Groups via Tame Pairs
by: Piepenborn, Ricardo Palomino
Published: (2025)

The Dual of Quantifier Elimination: Boolean Elimination over C and R
by: Frank, Matthew
Published: (2025)

Discrete dualities for some algebras from rough sets
by: Düntsch, Ivo, et al.
Published: (2026)

Tense logics based on posets
by: Chajda, Ivan, et al.
Published: (2024)

Algorithmic correspondence and analytic rules
by: De Domenico, Andrea, et al.
Published: (2022)

How to take cats together
by: Carollo, Imanol Mozo
Published: (2024)