Image de couverture de livre

Sheaf of Residuated Lattices

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Rasouli, Saeed
Format:	Preprint
Publié:	2025
Sujets:	Logic 06F99, 55N30
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

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)

Categorical Diffusion of Weighted Lattices
par: Ghrist, Robert, et autres
Publié: (2025)

A Sheaf Cohomology Restriction Formula on Toric Complete Intersections
par: Lyu, Zhentao
Publié: (2024)

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

The Countable Reals
par: Bauer, Andrej, et autres
Publié: (2024)

Higher topological complexity of Seifert fibered manifolds
par: Daundkar, Navnath, et autres
Publié: (2023)

On Semi-simplicity Results in Residuated Lattices
par: Rostami, Esmaeil
Publié: (2025)

On the symmetry behind duality
par: Abbadini, Marco, et autres
Publié: (2025)

Duality Theory for Bounded Lattices: A Comparative Study
par: Bezhanishvili, Guram, et autres
Publié: (2025)

Oscillation stability by the Carlson-Simpson theorem
par: Bice, Tristan, et autres
Publié: (2025)

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

Groups of $\mathrm{I}_G$-type
par: Dietzel, Carsten
Publié: (2025)

Foundations of Differential Calculus for modules over posets
par: Brodzki, Jacek, et autres
Publié: (2023)

Contractibility of Vietoris-Rips Complexes of dense subsets in $(\mathbb{R}^n, \ell_1)$ via hyperconvex embeddings
par: Wang, Qingsong
Publié: (2024)

Assume-guarantee contract algebras are dp-algebras
par: Castiglioni, Jose Luis, et autres
Publié: (2024)

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

Problems with fixpoints of polynomials of polynomials
par: Pradic, Cécilia, et autres
Publié: (2026)

Domains, Information Frames, Rough Sets: An Equivalence of Categories
par: Spreen, Dieter
Publié: (2025)

Mackey functors for posets
par: Santiago, Guille Carrión, et autres
Publié: (2023)

Extensions of realizable Hamiltonian and complexity one GKM$_4$ graphs
par: Goertsches, Oliver, et autres
Publié: (2025)

Preconditioned normal equations for solving discretised partial differential equations
par: Lazzarino, Lorenzo, et autres
Publié: (2025)

A Structure Sheaf for Kirch Topology
par: Borisov, Alexander
Publié: (2026)

The definable content of homological invariants II: Čech cohomology and homotopy classification
par: Bergfalk, Jeffrey, et autres
Publié: (2022)

A Foundation for Synthetic Stone Duality
par: Cherubini, Felix, et autres
Publié: (2024)

Weihrauch reducibility between Ramsey-type theorems and well-ordering principles at the level of $Σ^0_2$-induction: A pilot study
par: Carlucci, Lorenzo, et autres
Publié: (2025)

Every complete atomic Boolean algebra is the ideal lattice of a cBCK-algebra
par: Evans, C. Matthew
Publié: (2021)

A distributive lattice of model structures relating to spectral sequences
par: Brotherston, James A.
Publié: (2024)

The Singularity Theory of Concurrent Programs: A Topological Characterization and Detection of Deadlocks and Livelocks
par: Zhang, Di
Publié: (2025)

Grothendieck Topologies and Sheaf Theory for Data and Graphs: An Approach Through Cech Closure Spaces
par: Rieser, Antonio
Publié: (2021)

H2-MG: A multigrid method for hierarchical rank structured matrices
par: Sushnikova, Daria, et autres
Publié: (2025)

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

Cohomology of non-finite CL-shellable posets
par: Santiago, Guille Carrión, et autres
Publié: (2025)

Splittings in varieties of logic
par: Davey, Brian A., et autres
Publié: (2025)

A dynamical interpretation of the connection map of an attractor-repeller decomposition
par: Sánchez-Gabites, J. J.
Publié: (2024)

Logical Structure on Inverse Functor Categories
par: Fiore, Marcelo, et autres
Publié: (2024)

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

Realizing orders in rational sphere product algebras with three generators
par: So, Tseleung, et autres
Publié: (2025)

Model Theory of Local Real Closed SV-Rings of Finite Rank
par: Piepenborn, Ricardo Palomino
Publié: (2024)

Order Structures around Evolution Algebras
par: Nevado, Alejandro González
Publié: (2025)