Cover Image

A dagger kernel category of complete orthomodular lattices

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Botur, Michal, Paseka, Jan, Smolka, Richard
Format:	Preprint
Published:	2025
Subjects:	Logic 06F99
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Foulis quantales and complete orthomodular lattices
by: Botur, Michal, et al.
Published: (2025)

Foulis m-semilattices and their modules
by: Botur, Michal, et al.
Published: (2025)

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

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)

Kites and representations of pseudo MV-algebras
by: Botur, Michal, et al.
Published: (2025)

A new representation of finite Hoops using a new type of product of structures
by: Botur, Michal
Published: (2025)

Sheaf of Residuated Lattices
by: Rasouli, Saeed
Published: (2025)

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

Operators on complemented posets
by: Botur, Michal, et al.
Published: (2025)

On $z$-elements of multiplicative lattices
by: Dube, Themba, et al.
Published: (2024)

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

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

Every complete atomic Boolean algebra is the ideal lattice of a cBCK-algebra
by: Evans, C. Matthew
Published: (2021)

Model Theory of Local Real Closed SV-Rings of Finite Rank
by: Piepenborn, Ricardo Palomino
Published: (2024)

Adjointable maps between linear orthosets
by: Paseka, Jan, et al.
Published: (2025)

Minus Partial Order in Regular Modules
by: Ungor, Burcu, et al.
Published: (2019)

An ordinal analysis of a single stable ordinal
by: Arai, Toshiyasu
Published: (2022)

An ordinal analysis of $Π_{N}$-Collection
by: Arai, Toshiyasu
Published: (2023)

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

A completion of reduced commutative rings
by: Carai, Luca, et al.
Published: (2026)

On Semi-simplicity Results in Residuated Lattices
by: Rostami, Esmaeil
Published: (2025)

Lower spaces of multiplicative lattices
by: Goswami, Amartya
Published: (2024)

Amalgamation in classes of involutive commutative residuated lattices
by: Jenei, Sándor
Published: (2020)

Is Parallel Postulate Necessary?
by: Wang, Chengpu, et al.
Published: (2023)

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

The bottom of the lattice of BCK-varieties
by: Kowalski, Tomasz
Published: (2024)

Stone-Gelfand duality for metrically complete lattice-ordered groups
by: Abbadini, Marco, et al.
Published: (2022)

Assume-guarantee contract algebras are dp-algebras
by: Castiglioni, Jose Luis, et al.
Published: (2024)

Groups of $\mathrm{I}_G$-type
by: Dietzel, Carsten
Published: (2025)

Revisiting Baer elements
by: Goswami, Amartya, et al.
Published: (2024)

The Countable Reals
by: Bauer, Andrej, et al.
Published: (2024)

Comparability of Metrics and Norms in terms of Basis of Exponential Vector Space
by: Biswas, Dhruba Prakash, et al.
Published: (2024)

Finitely additive measures on Boolean algebras
by: Cardona, Miguel A., et al.
Published: (2025)

Unital Specker $\ell$-groups and boolean multispaces
by: Abbadini, Marco, et al.
Published: (2025)

Axiomatizing small varieties of periodic l-pregroups
by: Galatos, Nikolaos, et al.
Published: (2025)

Robust Topology and the Hausdorff-Smyth Monad on Metric Spaces over Continuous Quantales
by: Dagnino, Francesco, et al.
Published: (2025)

Truncations in languages of generalized power series and the structure of $T$-$λ$-spherical completions of o-minimal fields
by: Freni, Pietro
Published: (2024)

Order Structures around Evolution Algebras
by: Nevado, Alejandro González
Published: (2025)

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