Cover Image

Sheaf of Residuated Lattices

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Rasouli, Saeed
Format:	Preprint
Published:	2025
Subjects:	Logic 06F99, 55N30
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Foulis quantales and complete orthomodular lattices
by: Botur, Michal, et al.
Published: (2025)

A dagger kernel category of complete orthomodular lattices
by: Botur, Michal, et al.
Published: (2025)

Categorical Diffusion of Weighted Lattices
by: Ghrist, Robert, et al.
Published: (2025)

A Sheaf Cohomology Restriction Formula on Toric Complete Intersections
by: Lyu, Zhentao
Published: (2024)

Foulis m-semilattices and their modules
by: Botur, Michal, et al.
Published: (2025)

The Countable Reals
by: Bauer, Andrej, et al.
Published: (2024)

Higher topological complexity of Seifert fibered manifolds
by: Daundkar, Navnath, et al.
Published: (2023)

On Semi-simplicity Results in Residuated Lattices
by: Rostami, Esmaeil
Published: (2025)

On the symmetry behind duality
by: Abbadini, Marco, et al.
Published: (2025)

Duality Theory for Bounded Lattices: A Comparative Study
by: Bezhanishvili, Guram, et al.
Published: (2025)

Oscillation stability by the Carlson-Simpson theorem
by: Bice, Tristan, et al.
Published: (2025)

Amalgamation in Semilinear Residuated Lattices
by: Fussner, Wesley, et al.
Published: (2024)

Groups of $\mathrm{I}_G$-type
by: Dietzel, Carsten
Published: (2025)

Foundations of Differential Calculus for modules over posets
by: Brodzki, Jacek, et al.
Published: (2023)

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

Assume-guarantee contract algebras are dp-algebras
by: Castiglioni, Jose Luis, et al.
Published: (2024)

Blockwise Gluings And Amalgamation Failures in Integral Residuated Lattices
by: Giustarini, Valeria, et al.
Published: (2024)

Problems with fixpoints of polynomials of polynomials
by: Pradic, Cécilia, et al.
Published: (2026)

Domains, Information Frames, Rough Sets: An Equivalence of Categories
by: Spreen, Dieter
Published: (2025)

Mackey functors for posets
by: Santiago, Guille Carrión, et al.
Published: (2023)

Extensions of realizable Hamiltonian and complexity one GKM$_4$ graphs
by: Goertsches, Oliver, et al.
Published: (2025)

Preconditioned normal equations for solving discretised partial differential equations
by: Lazzarino, Lorenzo, et al.
Published: (2025)

A Structure Sheaf for Kirch Topology
by: Borisov, Alexander
Published: (2026)

The definable content of homological invariants II: Čech cohomology and homotopy classification
by: Bergfalk, Jeffrey, et al.
Published: (2022)

A Foundation for Synthetic Stone Duality
by: Cherubini, Felix, et al.
Published: (2024)

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

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

A distributive lattice of model structures relating to spectral sequences
by: Brotherston, James A.
Published: (2024)

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

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

H2-MG: A multigrid method for hierarchical rank structured matrices
by: Sushnikova, Daria, et al.
Published: (2025)

Ivanova contact join-semilattices are not finitely axiomatizable
by: Lipparini, Paolo
Published: (2023)

Cohomology of non-finite CL-shellable posets
by: Santiago, Guille Carrión, et al.
Published: (2025)

Splittings in varieties of logic
by: Davey, Brian A., et al.
Published: (2025)

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

Logical Structure on Inverse Functor Categories
by: Fiore, Marcelo, et al.
Published: (2024)

Linear Orders in Presburger Arithmetic
by: Pakhomov, Fedor, et al.
Published: (2022)

Realizing orders in rational sphere product algebras with three generators
by: So, Tseleung, et al.
Published: (2025)

Model Theory of Local Real Closed SV-Rings of Finite Rank
by: Piepenborn, Ricardo Palomino
Published: (2024)

Order Structures around Evolution Algebras
by: Nevado, Alejandro González
Published: (2025)