:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteur principal:	Lehmann, Daniel
Format:	Preprint
Publié:	2024
Sujets:	Quantum Physics Logic in Computer Science Logic 81P10, 06C15, 03G12
Accès en ligne:	https://arxiv.org/abs/2402.07042
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

On orthoposets of numerical events in quantum logic
par: Dorninger, Dietmar, et autres
Publié: (2026)

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

Categorical Equivalence Between Finitary Orthomodular Dynamic Algebras and Orthomodular Lattices
par: Putra, Juanda Kelana, et autres
Publié: (2026)

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

On $\mathscr{T}$-based orthomodular dynamic algebras
par: Paseka, Jan, et autres
Publié: (2026)

Critical elements in algebras of numerical events
par: Dorninger, Dietmar, et autres
Publié: (2025)

Axioms of Quantum Mechanics in light of Continuous Model Theory
par: Zilber, Boris
Publié: (2025)

Dirac - von Neumann axioms in the setting of Continuous Model Theory
par: Zilber, Boris
Publié: (2025)

Modal logic, fundamentally
par: Holliday, Wesley H.
Publié: (2024)

Quantales carrying ortholattice structure
par: Botur, Michal, et autres
Publié: (2026)

Categories of orthosets and adjointable maps
par: Paseka, Jan, et autres
Publié: (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
par: Higuchi, Joaquim Reizi
Publié: (2026)

A natural deduction system for orthomodular logic
par: Kornell, Andre
Publié: (2021)

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

Towards a Simplified Theory of Double Boolean Algebras: Axioms and Topological Representation
par: Howlader, Prosenjit, et autres
Publié: (2026)

Adjointness of generalized Sasaki operations in posets
par: Chajda, Ivan, et autres
Publié: (2024)

The prime spectrum of an $L$-algebra
par: Rump, W., et autres
Publié: (2022)

Decidable varieties of p-algebras
par: Kowalski, Tomasz, et autres
Publié: (2024)

Free p-algebras revisited: an algebraic investigation of implication-free intuitionism
par: Kowalski, Tomasz, et autres
Publié: (2024)

Anchored Implication & Event-Indexed Fixed Points in Hilbert Spaces: Uniqueness and Quantitative Rates
par: Alpay, Faruk, et autres
Publié: (2025)

Splittings in varieties of logic
par: Davey, Brian A., et autres
Publié: (2025)

Term algebras of elementarily equivalent atom structures
par: Andréka, H., et autres
Publié: (2018)

Team Semantics and Independence Notions in Quantum Physics
par: Abramsky, Samson, et autres
Publié: (2021)

On the Quantum Chromatic Gap
par: Ciardo, Lorenzo
Publié: (2025)

Classical Simulation of Quantum CSP Strategies
par: Banakh, Demian, et autres
Publié: (2025)

Quantum Polymorphisms and the Complexity of Quantum Constraint Satisfaction
par: Ciardo, Lorenzo, et autres
Publié: (2025)

A complete logic for causal consistency
par: Simmons, Will, et autres
Publié: (2024)

Equational theories of idempotent semifields
par: Metcalfe, George, et autres
Publié: (2024)

Quantum Random Self-Modifiable Computation
par: Fiske, Michael Stephen
Publié: (2018)

A Cut-Free Sequent Calculus for the Analysis of Finite-Trace Properties in Concurrent Systems
par: Fusco, Ludovico, et autres
Publié: (2025)

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

Correspondence Theory for Many-valued Modal Logic
par: Britz, Cecelia, et autres
Publié: (2024)

A universal characterization of standard Borel spaces
par: Chen, Ruiyuan
Publié: (2019)

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

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

The Dual of Quantifier Elimination: Boolean Elimination over C and R
par: Frank, Matthew
Publié: (2025)

Discrete dualities for some algebras from rough sets
par: Düntsch, Ivo, et autres
Publié: (2026)

Tense logics based on posets
par: Chajda, Ivan, et autres
Publié: (2024)

Algorithmic correspondence and analytic rules
par: De Domenico, Andrea, et autres
Publié: (2022)

How to take cats together
par: Carollo, Imanol Mozo
Publié: (2024)