Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | https://arxiv.org/abs/2502.00827 |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
Quasicomplemented distributive nearlattices
di: Calomino, Ismael
Pubblicazione: (2025)
di: Calomino, Ismael
Pubblicazione: (2025)
A Stone-type duality for semilattices with adjunctions
di: Gimenez, B., et al.
Pubblicazione: (2024)
di: Gimenez, B., et al.
Pubblicazione: (2024)
On Fidel Vakarelov construction for Monadic Godel algebras
di: Alonso, Maria Valentina, et al.
Pubblicazione: (2024)
di: Alonso, Maria Valentina, et al.
Pubblicazione: (2024)
Cardinality and Representation of Stone Relation Algebras
di: Furusawa, Hitoshi, et al.
Pubblicazione: (2023)
di: Furusawa, Hitoshi, et al.
Pubblicazione: (2023)
Effect Algebras as Omega-categories
di: Perticone, Lorenzo, et al.
Pubblicazione: (2023)
di: Perticone, Lorenzo, et al.
Pubblicazione: (2023)
A note on Stone-Čech compactification in ZFA
di: Przybyłek, Michał R.
Pubblicazione: (2023)
di: Przybyłek, Michał R.
Pubblicazione: (2023)
Completeness of Relational Algebra via Cylindric Algebra
di: Laštovička, Jan
Pubblicazione: (2026)
di: Laštovička, Jan
Pubblicazione: (2026)
Rings and Boolean Algebras as Algebraic Theories
di: De Faveri, Arturo
Pubblicazione: (2025)
di: De Faveri, Arturo
Pubblicazione: (2025)
Deciding Equations in the Time Warp Algebra
di: van Gool, Sam, et al.
Pubblicazione: (2023)
di: van Gool, Sam, et al.
Pubblicazione: (2023)
Incompleteness theorems via Turing category
di: Savelyev, Yasha
Pubblicazione: (2024)
di: Savelyev, Yasha
Pubblicazione: (2024)
Topological Dualities for Modal Algebras
di: Collinson, Matthew
Pubblicazione: (2026)
di: Collinson, Matthew
Pubblicazione: (2026)
$Π_{2}$-Rule Systems and Inductive Classes of Gödel Algebras
di: Almeida, Rodrigo Nicolau
Pubblicazione: (2023)
di: Almeida, Rodrigo Nicolau
Pubblicazione: (2023)
Approximate equivalence relations
di: Hrushovski, Ehud
Pubblicazione: (2024)
di: Hrushovski, Ehud
Pubblicazione: (2024)
Nonembeddings of Combinatory Algebras
di: Lutz, Patrick, et al.
Pubblicazione: (2026)
di: Lutz, Patrick, et al.
Pubblicazione: (2026)
Conjunctive Table Algebras
di: Kötters, Jens, et al.
Pubblicazione: (2024)
di: Kötters, Jens, et al.
Pubblicazione: (2024)
The Algebras of Lewis's Counterfactuals
di: Rosella, Giuliano, et al.
Pubblicazione: (2024)
di: Rosella, Giuliano, et al.
Pubblicazione: (2024)
On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
di: Herbelin, Hugo
Pubblicazione: (2024)
di: Herbelin, Hugo
Pubblicazione: (2024)
Teasing apart definitional equivalence
di: Chen, Jason, et al.
Pubblicazione: (2025)
di: Chen, Jason, et al.
Pubblicazione: (2025)
Some remarks on lattices of equivalences
di: Herrmann, Christian
Pubblicazione: (2025)
di: Herrmann, Christian
Pubblicazione: (2025)
Graphings of arithmetical equivalence relations
di: Arant, Tyler
Pubblicazione: (2025)
di: Arant, Tyler
Pubblicazione: (2025)
A Proof Theory for Profinite Modal Algebras
di: De Berardinis, Matteo, et al.
Pubblicazione: (2025)
di: De Berardinis, Matteo, et al.
Pubblicazione: (2025)
Relating homotopy equivalences to conservativity in dependent type theories with computation axioms
di: Spadetto, Matteo
Pubblicazione: (2023)
di: Spadetto, Matteo
Pubblicazione: (2023)
Morita Rigidity for Kleene Algebras
di: Serafin, Luke
Pubblicazione: (2025)
di: Serafin, Luke
Pubblicazione: (2025)
Initial Algebras Unchained -- A Novel Initial Algebra Construction Formalized in Agda
di: Wißmann, Thorsten, et al.
Pubblicazione: (2024)
di: Wißmann, Thorsten, et al.
Pubblicazione: (2024)
Uniform Preorders and Partial Combinatory Algebras
di: Frey, Jonas
Pubblicazione: (2024)
di: Frey, Jonas
Pubblicazione: (2024)
On a Generalization of Heyting Algebras I
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2024)
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2024)
On a Generalization of Heyting Algebras II
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2024)
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2024)
Categorial grammars with unique category assignment
di: Vishnikin, Maxim, et al.
Pubblicazione: (2025)
di: Vishnikin, Maxim, et al.
Pubblicazione: (2025)
The further study on the category of T-convergence groups
di: Li, Lingqiang, et al.
Pubblicazione: (2024)
di: Li, Lingqiang, et al.
Pubblicazione: (2024)
An order analysis of hyperfinite Borel equivalence relations
di: Gao, Su, et al.
Pubblicazione: (2024)
di: Gao, Su, et al.
Pubblicazione: (2024)
Universal categories
di: Schoutens, Hans
Pubblicazione: (2025)
di: Schoutens, Hans
Pubblicazione: (2025)
Stone Duality for Monads
di: Garner, Richard, et al.
Pubblicazione: (2026)
di: Garner, Richard, et al.
Pubblicazione: (2026)
A simple formalization of alpha-equivalence
di: Apinis, Kalmer, et al.
Pubblicazione: (2025)
di: Apinis, Kalmer, et al.
Pubblicazione: (2025)
A Borel graphable equivalence relation with no Borel graphing of diameter two
di: Lutz, Patrick
Pubblicazione: (2026)
di: Lutz, Patrick
Pubblicazione: (2026)
A cyclic proof system for Guarded Kleene Algebra with Tests (full version)
di: Rooduijn, Jan, et al.
Pubblicazione: (2024)
di: Rooduijn, Jan, et al.
Pubblicazione: (2024)
A Diagrammatic Algebra for Program Logics
di: Bonchi, Filippo, et al.
Pubblicazione: (2024)
di: Bonchi, Filippo, et al.
Pubblicazione: (2024)
The Algebra of Parity Games
di: Piedeleu, Robin
Pubblicazione: (2025)
di: Piedeleu, Robin
Pubblicazione: (2025)
Continuous Algebras with Hypotheses
di: Mulder, Lukas, et al.
Pubblicazione: (2026)
di: Mulder, Lukas, et al.
Pubblicazione: (2026)
The Algebra of Iterative Constructions
di: Batz, Kevin, et al.
Pubblicazione: (2026)
di: Batz, Kevin, et al.
Pubblicazione: (2026)
Continuous Algebra: Algebraic Semantics for Continuous Propositional Logic
di: Jana, Purbita, et al.
Pubblicazione: (2025)
di: Jana, Purbita, et al.
Pubblicazione: (2025)