Cover Image

Categorical Equivalence Between Finitary Orthomodular Dynamic Algebras and Orthomodular Lattices

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Putra, Juanda Kelana, Smolka, Richard
Format:	Preprint
Published:	2026
Subjects:	Logic 81P10, 03G12, 06F07, 06A12
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

Projection-algebras and quantum logic
by: Lehmann, Daniel
Published: (2024)

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

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

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

An introduction to Lorenzen's "Algebraic and logistic investigations on free lattices" (1951)
by: Coquand, Thierry, et al.
Published: (2017)

Know Your Rank!
by: Boissonneau, Blaise, et al.
Published: (2025)

Ivanova contact join-semilattices are not finitely axiomatizable
by: Lipparini, Paolo
Published: (2023)

Definable ranks
by: Krapp, Lothar Sebastian, et al.
Published: (2025)

Blockwise Gluings And Amalgamation Failures in Integral Residuated Lattices
by: Giustarini, Valeria, 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)

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

Hypercontact semilattices
by: Lipparini, Paolo
Published: (2023)

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

Dynamical method in algebra: Effective Nullstellensätze
by: Coste, Michel, et al.
Published: (2017)

Ordinal Analysis of Well-Ordering Principles, Well Quasi-Orders Closure Properties, and $Σ_n$-Collection Schema
by: Buriola, Gabriele, et al.
Published: (2025)

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

Duality Theory for Bounded Lattices: A Comparative Study
by: Bezhanishvili, Guram, et al.
Published: (2025)

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

A new proof of Funayama's theorem
by: Bezhanishvili, Guram, et al.
Published: (2026)

Weakly binary expansions of dense meet-trees
by: Mennuni, Rosario
Published: (2020)

Many-valued aspects of tense an related operators
by: Botur, Michal, et al.
Published: (2025)

Reduced Products of Collapsing Algebras
by: Kurilić, Miloš S.
Published: (2024)

Quasiorders for a characterization of iso-dense spaces
by: Richmond, Tom, et al.
Published: (2024)

Well-quasi-orders on finite trees and transfinite sequences
by: Chopra, Alakh Dhruv, et al.
Published: (2026)

Growing Spines: Ad Infinitum et Ad Infinitesimalia
by: Boissonneau, Blaise, et al.
Published: (2025)

Towards Better: A motivated introduction to better-quasi-orders
by: Pequignot, Yann
Published: (2016)

Tensor Product in the Category of Effect Algebras
by: Lachman, Dominik
Published: (2025)

On Nash-Williams' Theorem regarding sequences with finite range
by: Pakhomov, Fedor, et al.
Published: (2024)

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

Bourbaki--Zorn Normal Forms for Maximality Arguments
by: Liu, You-Chang
Published: (2026)

Diagrams of opposition: an algebraic viewpoint
by: Wu, Chai Wah
Published: (2024)

Tukey-idempotency and strong p-points
by: Benhamou, Tom, et al.
Published: (2025)

An Optimal 14-Symbol Hybrid Basis for BCH-Algebras
by: Ramani, Mahesh, et al.
Published: (2026)

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

Categorical-algebraic aspects of Heyting semilattices
by: García-Martínez, Xabier, et al.
Published: (2025)

Embeddings into the generic poset
by: Kwiatkowska, Aleksandra, et al.
Published: (2025)