Buchumschlag

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

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Paseka, Jan, Putra, Juanda Kelana, Smolka, Richard
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic Rings and Algebras 81P10, 03G12, 06F07, 06B15 F.4.1; F.1.3
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Categorical Equivalence Between Finitary Orthomodular Dynamic Algebras and Orthomodular Lattices
von: Putra, Juanda Kelana, et al.
Veröffentlicht: (2026)

Quantales carrying ortholattice structure
von: Botur, Michal, et al.
Veröffentlicht: (2026)

Three Fixed-Dimension Satisfiability Semantics for Quantum Logic: Implications and an Explicit Separator
von: Higuchi, Joaquim Reizi
Veröffentlicht: (2026)

Foulis quantales and complete orthomodular lattices
von: Botur, Michal, et al.
Veröffentlicht: (2025)

A dagger kernel category of complete orthomodular lattices
von: Botur, Michal, et al.
Veröffentlicht: (2025)

Many-valued aspects of tense an related operators
von: Botur, Michal, et al.
Veröffentlicht: (2025)

Amalgamation in Semilinear Residuated Lattices
von: Fussner, Wesley, et al.
Veröffentlicht: (2024)

Linear Orders in Presburger Arithmetic
von: Pakhomov, Fedor, et al.
Veröffentlicht: (2022)

Preconditionals
von: Holliday, Wesley H.
Veröffentlicht: (2024)

Axiomatizing small varieties of periodic l-pregroups
von: Galatos, Nikolaos, et al.
Veröffentlicht: (2025)

A proof complexity conjecture and the Incompleteness theorem
von: Krajicek, Jan
Veröffentlicht: (2023)

The logic of bunched implications is undecidable
von: Galatos, Nick, et al.
Veröffentlicht: (2026)

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

On algebraic and topological semantics of the modal logic of common knowledge S4CI
von: Shamkanov, Daniyar
Veröffentlicht: (2021)

Critical elements in algebras of numerical events
von: Dorninger, Dietmar, et al.
Veröffentlicht: (2025)

Team Semantics and Independence Notions in Quantum Physics
von: Abramsky, Samson, et al.
Veröffentlicht: (2021)

Well-quasi-orders on finite trees and transfinite sequences
von: Chopra, Alakh Dhruv, et al.
Veröffentlicht: (2026)

Thoughts on sub-Turing interactive computability
von: Japaridze, Giorgi
Veröffentlicht: (2024)

Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic
von: Santo, José Espírito, et al.
Veröffentlicht: (2020)

Complexities of Well-Quasi-Ordered Substructural Logics
von: Galatos, Nikolaos, et al.
Veröffentlicht: (2025)

Modal logic, fundamentally
von: Holliday, Wesley H.
Veröffentlicht: (2024)

Ivanova contact join-semilattices are not finitely axiomatizable
von: Lipparini, Paolo
Veröffentlicht: (2023)

On distance logics of Euclidean spaces
von: Agnew, Gabriel, et al.
Veröffentlicht: (2025)

Foulis m-semilattices and their modules
von: Botur, Michal, et al.
Veröffentlicht: (2025)

Representable distributive quasi relation algebras
von: Craig, Andrew, et al.
Veröffentlicht: (2023)

Do not throw out the baby: Clarithmetics as alternatives to weak arithmetics
von: Japaridze, Giorgi
Veröffentlicht: (2026)

Structural focalization
von: Simmons, Robert J.
Veröffentlicht: (2011)

Representability for distributive quasi relation algebras via nested sums
von: Craig, Andrew, et al.
Veröffentlicht: (2025)

Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics
von: Holliday, Wesley H.
Veröffentlicht: (2022)

A propositional cirquent calculus for computability logic
von: Japaridze, Giorgi
Veröffentlicht: (2024)

Algorithmic correspondence and analytic rules
von: De Domenico, Andrea, et al.
Veröffentlicht: (2022)

Derived operators on skew orthomodular and strong skew orthomodular posets
von: Chajda, Ivan, et al.
Veröffentlicht: (2025)

Predicative Ordinal Recursion on the Constructive Veblen Hierarchy
von: Tabatabai, Amirhossein Akbar, et al.
Veröffentlicht: (2025)

Projection-algebras and quantum logic
von: Lehmann, Daniel
Veröffentlicht: (2024)

Adjointness of generalized Sasaki operations in posets
von: Chajda, Ivan, et al.
Veröffentlicht: (2024)

Reverse mathematics of a uniform Kruskal-Friedman theorem
von: Freund, Anton
Veröffentlicht: (2021)

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

Relational Models for the Lambek Calculus with Intersection and Constants
von: Kuznetsov, Stepan L.
Veröffentlicht: (2022)

$μ$-elements: An extension of essential elements
von: Caviglia, Elena, et al.
Veröffentlicht: (2025)

On ideals in quantales -- I
von: Goswami, Amartya
Veröffentlicht: (2023)