Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2410.02350 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Diagrams of opposition: an algebraic viewpoint
by: Wu, Chai Wah
Published: (2024)
by: Wu, Chai Wah
Published: (2024)
An introduction to Lorenzen's "Algebraic and logistic investigations on free lattices" (1951)
by: Coquand, Thierry, et al.
Published: (2017)
by: Coquand, Thierry, et al.
Published: (2017)
Correspondence Theory for Many-valued Modal Logic
by: Britz, Cecelia, et al.
Published: (2024)
by: Britz, Cecelia, et al.
Published: (2024)
Categorical Equivalence Between Finitary Orthomodular Dynamic Algebras and Orthomodular Lattices
by: Putra, Juanda Kelana, et al.
Published: (2026)
by: Putra, Juanda Kelana, et al.
Published: (2026)
Blockwise Gluings And Amalgamation Failures in Integral Residuated Lattices
by: Giustarini, Valeria, et al.
Published: (2024)
by: Giustarini, Valeria, et al.
Published: (2024)
Reduced Products of Collapsing Algebras
by: Kurilić, Miloš S.
Published: (2024)
by: Kurilić, Miloš S.
Published: (2024)
Varieties generated by completions
by: Andréka, H., et al.
Published: (2018)
by: Andréka, H., et al.
Published: (2018)
Copies of Monomorphic Structures
by: Kurilić, Miloš S.
Published: (2023)
by: Kurilić, Miloš S.
Published: (2023)
Forcing With Copies of Uncountable Ordinals
by: Kurilić, Miloš S.
Published: (2023)
by: Kurilić, Miloš S.
Published: (2023)
Cutsets in ${\mathcal P}(X)$
by: Ginsburg, John, et al.
Published: (2025)
by: Ginsburg, John, et al.
Published: (2025)
Free p-algebras revisited: an algebraic investigation of implication-free intuitionism
by: Kowalski, Tomasz, et al.
Published: (2024)
by: Kowalski, Tomasz, et al.
Published: (2024)
Monotone infinitary operations on ordinals (extended version)
by: Lipparini, Paolo
Published: (2025)
by: Lipparini, Paolo
Published: (2025)
Algorithmic correspondence and analytic rules
by: De Domenico, Andrea, et al.
Published: (2022)
by: De Domenico, Andrea, et al.
Published: (2022)
Locally Integral Involutive PO-Semigroups
by: Gil-Férez, José, et al.
Published: (2023)
by: Gil-Férez, José, et al.
Published: (2023)
A Cut-Free Sequent Calculus for the Analysis of Finite-Trace Properties in Concurrent Systems
by: Fusco, Ludovico, et al.
Published: (2025)
by: Fusco, Ludovico, et al.
Published: (2025)
Towards a Simplified Theory of Double Boolean Algebras: Axioms and Topological Representation
by: Howlader, Prosenjit, et al.
Published: (2026)
by: Howlader, Prosenjit, et al.
Published: (2026)
The prime spectrum of an $L$-algebra
by: Rump, W., et al.
Published: (2022)
by: Rump, W., et al.
Published: (2022)
Preconditionals
by: Holliday, Wesley H.
Published: (2024)
by: Holliday, Wesley H.
Published: (2024)
Tukey-idempotency and strong p-points
by: Benhamou, Tom, et al.
Published: (2025)
by: Benhamou, Tom, et al.
Published: (2025)
On the universal completions of pointfree function spaces
by: Carollo, Imanol Mozo
Published: (2025)
by: Carollo, Imanol Mozo
Published: (2025)
(Extra)ordinary equivalences with the ascending/descending sequence principle
by: Fiori-Carones, Marta, et al.
Published: (2021)
by: Fiori-Carones, Marta, et al.
Published: (2021)
Term algebras of elementarily equivalent atom structures
by: Andréka, H., et al.
Published: (2018)
by: Andréka, H., et al.
Published: (2018)
Intuitionism and computing with partial information
by: Ganchev, Hristo, et al.
Published: (2026)
by: Ganchev, Hristo, et al.
Published: (2026)
Quantales carrying ortholattice structure
by: Botur, Michal, et al.
Published: (2026)
by: Botur, Michal, et al.
Published: (2026)
Decidable varieties of p-algebras
by: Kowalski, Tomasz, et al.
Published: (2024)
by: Kowalski, Tomasz, et al.
Published: (2024)
Representability for distributive quasi relation algebras via nested sums
by: Craig, Andrew, et al.
Published: (2025)
by: Craig, Andrew, et al.
Published: (2025)
Representable distributive quasi relation algebras
by: Craig, Andrew, et al.
Published: (2023)
by: Craig, Andrew, et al.
Published: (2023)
Dense Chains, Antichains, and Universal Partial Orders Inside a Bounded Finite-One Degree
by: Cintioli, Patrizio
Published: (2026)
by: Cintioli, Patrizio
Published: (2026)
Towards Better: A motivated introduction to better-quasi-orders
by: Pequignot, Yann
Published: (2016)
by: Pequignot, Yann
Published: (2016)
Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics
by: Holliday, Wesley H.
Published: (2022)
by: Holliday, Wesley H.
Published: (2022)
Maximal order types for sequences with gap condition
by: Uftring, Patrick
Published: (2025)
by: Uftring, Patrick
Published: (2025)
Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
by: Knudstorp, Søren Brinck
Published: (2025)
by: Knudstorp, Søren Brinck
Published: (2025)
Vaught's Conjecture and Theories of Partial Order Admitting a Finite Lexicographic Decomposition
by: Kurilić, Miloš S.
Published: (2026)
by: Kurilić, Miloš S.
Published: (2026)
Possibility Semantics
by: Holliday, Wesley H.
Published: (2024)
by: Holliday, Wesley H.
Published: (2024)
Generalized sums of linear orders
by: Ramos, Álvaro Díaz, et al.
Published: (2025)
by: Ramos, Álvaro Díaz, et al.
Published: (2025)
Tense logics based on posets
by: Chajda, Ivan, et al.
Published: (2024)
by: Chajda, Ivan, et al.
Published: (2024)
On orthoposets of numerical events in quantum logic
by: Dorninger, Dietmar, et al.
Published: (2026)
by: Dorninger, Dietmar, et al.
Published: (2026)
Bourbaki--Zorn Normal Forms for Maximality Arguments
by: Liu, You-Chang
Published: (2026)
by: Liu, You-Chang
Published: (2026)
The countable condensation on linear orders
by: Brown, Jennifer, et al.
Published: (2025)
by: Brown, Jennifer, et al.
Published: (2025)
Ivanova contact join-semilattices are not finitely axiomatizable
by: Lipparini, Paolo
Published: (2023)
by: Lipparini, Paolo
Published: (2023)