Image de couverture de livre

On $\mathscr{T}$-based orthomodular dynamic algebras

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Paseka, Jan, Putra, Juanda Kelana, Smolka, Richard
Format:	Preprint
Publié:	2026
Sujets:	Logic Rings and Algebras 81P10, 03G12, 06F07, 06B15 F.4.1; F.1.3
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

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

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

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

Foulis quantales and complete orthomodular lattices
par: Botur, Michal, et autres
Publié: (2025)

A dagger kernel category of complete orthomodular lattices
par: Botur, Michal, et autres
Publié: (2025)

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

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

Linear Orders in Presburger Arithmetic
par: Pakhomov, Fedor, et autres
Publié: (2022)

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

Axiomatizing small varieties of periodic l-pregroups
par: Galatos, Nikolaos, et autres
Publié: (2025)

A proof complexity conjecture and the Incompleteness theorem
par: Krajicek, Jan
Publié: (2023)

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

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

On algebraic and topological semantics of the modal logic of common knowledge S4CI
par: Shamkanov, Daniyar
Publié: (2021)

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

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

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

Thoughts on sub-Turing interactive computability
par: Japaridze, Giorgi
Publié: (2024)

Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic
par: Santo, José Espírito, et autres
Publié: (2020)

Complexities of Well-Quasi-Ordered Substructural Logics
par: Galatos, Nikolaos, et autres
Publié: (2025)

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

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

On distance logics of Euclidean spaces
par: Agnew, Gabriel, et autres
Publié: (2025)

Foulis m-semilattices and their modules
par: Botur, Michal, et autres
Publié: (2025)

Representable distributive quasi relation algebras
par: Craig, Andrew, et autres
Publié: (2023)

Do not throw out the baby: Clarithmetics as alternatives to weak arithmetics
par: Japaridze, Giorgi
Publié: (2026)

Structural focalization
par: Simmons, Robert J.
Publié: (2011)

Representability for distributive quasi relation algebras via nested sums
par: Craig, Andrew, et autres
Publié: (2025)

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

A propositional cirquent calculus for computability logic
par: Japaridze, Giorgi
Publié: (2024)

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

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

Predicative Ordinal Recursion on the Constructive Veblen Hierarchy
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2025)

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

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

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

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

Relational Models for the Lambek Calculus with Intersection and Constants
par: Kuznetsov, Stepan L.
Publié: (2022)

$μ$-elements: An extension of essential elements
par: Caviglia, Elena, et autres
Publié: (2025)

On ideals in quantales -- I
par: Goswami, Amartya
Publié: (2023)