Image de couverture de livre

Quantales carrying ortholattice structure

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Botur, Michal, Kruml, David, Paseka, Jan
Format:	Preprint
Publié:	2026
Sujets:	Logic 06F07, 06C15, 03G12, 03G25
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Functional monadic ortholattices and locally finite $σ$-free polyadic ortholattices
par: Lin, Chun-Yu, et autres
Publié: (2025)

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

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

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

Varieties generated by completions
par: Andréka, H., et autres
Publié: (2018)

An introduction to Lorenzen's "Algebraic and logistic investigations on free lattices" (1951)
par: Coquand, Thierry, et autres
Publié: (2017)

Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
par: Knudstorp, Søren Brinck
Publié: (2025)

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

Amalgamation in Semilinear Residuated Lattices
par: Fussner, Wesley, et autres
Publié: (2024)

Interpolation in Hájek's Basic Logic
par: Fussner, Wesley, et autres
Publié: (2024)

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

An Optimal 14-Symbol Hybrid Basis for BCH-Algebras
par: Ramani, Mahesh, et autres
Publié: (2026)

Ivanova contact join-semilattices are not finitely axiomatizable
par: Lipparini, Paolo
Publié: (2023)

The bottom of the lattice of BCK-varieties
par: Kowalski, Tomasz
Publié: (2024)

Preconditionals
par: Holliday, Wesley H.
Publié: (2024)

Ordinal Analysis of Well-Ordering Principles, Well Quasi-Orders Closure Properties, and $Σ_n$-Collection Schema
par: Buriola, Gabriele, et autres
Publié: (2025)

Stone type representation theorems via games
par: Aslan, Tuğba, et autres
Publié: (2018)

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

Residuated lattices do not have the amalgamation property
par: Jipsen, Peter, et autres
Publié: (2025)

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

Reverse mathematics of a uniform Kruskal-Friedman theorem
par: Freund, Anton
Publié: (2021)

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

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

Johnson's axioms revisited: Bases for Boolean algebras containing identities of associative type. I
par: Sankappanavar, Hanamantagouda P.
Publié: (2025)

Well-quasi-orders on finite trees and transfinite sequences
par: Chopra, Alakh Dhruv, et autres
Publié: (2026)

Subresiduated Nelson Algebras
par: Lubomirsky, Noemí, et autres
Publié: (2024)

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

Many-valued aspects of tense an related operators
par: Botur, Michal, et autres
Publié: (2025)

The logic of bunched implications is undecidable
par: Galatos, Nick, et autres
Publié: (2026)

Normal forms and representable functions in Moisil logic
par: Sipos, Andrei
Publié: (2023)

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

Hypercontact semilattices
par: Lipparini, Paolo
Publié: (2023)

Possibility Semantics
par: Holliday, Wesley H.
Publié: (2024)

Derived operators on skew orthomodular and strong skew orthomodular posets
par: Chajda, Ivan, et autres
Publié: (2025)

Locally Integral Involutive PO-Semigroups
par: Gil-Férez, José, et autres
Publié: (2023)

Projection-algebras and quantum logic
par: Lehmann, Daniel
Publié: (2024)

Vaught's Conjecture and Theories of Partial Order Admitting a Finite Lexicographic Decomposition
par: Kurilić, Miloš S.
Publié: (2026)

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

Blockwise Gluings And Amalgamation Failures in Integral Residuated Lattices
par: Giustarini, Valeria, et autres
Publié: (2024)

Stable reducts of elementary extensions of Presburger arithmetic
par: Alouf, Eran, et autres
Publié: (2024)