Imagen de Portada

On Semi-simplicity Results in Residuated Lattices

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Rostami, Esmaeil
Formato:	Preprint
Publicado:	2025
Materias:	Logic 06F35
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Sheaf of Residuated Lattices
por: Rasouli, Saeed
Publicado: (2025)

Kites and representations of pseudo MV-algebras
por: Botur, Michal, et al.
Publicado: (2025)

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

Amalgamation in Semilinear Residuated Lattices
por: Fussner, Wesley, et al.
Publicado: (2024)

An Optimal 14-Symbol Hybrid Basis for BCH-Algebras
por: Ramani, Mahesh, et al.
Publicado: (2026)

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

Unital Specker $\ell$-groups and boolean multispaces
por: Abbadini, Marco, et al.
Publicado: (2025)

Robust Topology and the Hausdorff-Smyth Monad on Metric Spaces over Continuous Quantales
por: Dagnino, Francesco, et al.
Publicado: (2025)

The bottom of the lattice of BCK-varieties
por: Kowalski, Tomasz
Publicado: (2024)

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

Proof-Theoretic Relations between Higman's and Kruskal's theorem, and Independence Results for Tree-like Structures
por: Buriola, Gabriele, et al.
Publicado: (2025)

Autometrized Lattice Ordered Monoids
por: Ashale, Tekalign Regasa, et al.
Publicado: (2024)

A Gelfand duality for continuous lattices
por: Chen, Ruiyuan
Publicado: (2023)

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

Esakia order-compactifications and locally Esakia spaces
por: Almeida, Rodrigo Nicolau, et al.
Publicado: (2025)

Well-quasi-orders on finite trees and transfinite sequences
por: Chopra, Alakh Dhruv, et al.
Publicado: (2026)

(Extra)ordinary equivalences with the ascending/descending sequence principle
por: Fiori-Carones, Marta, et al.
Publicado: (2021)

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

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

A new representation of finite Hoops using a new type of product of structures
por: Botur, Michal
Publicado: (2025)

Maximal order types for sequences with gap condition
por: Uftring, Patrick
Publicado: (2025)

A Cut-Free Sequent Calculus for the Analysis of Finite-Trace Properties in Concurrent Systems
por: Fusco, Ludovico, et al.
Publicado: (2025)

Algorithmic correspondence and analytic rules
por: De Domenico, Andrea, et al.
Publicado: (2022)

MV-frames
por: Nganou, Jean B
Publicado: (2024)

The uniform Kruskal theorem over RCA$_0$
por: Uftring, Patrick
Publicado: (2025)

On Nash-Williams' Theorem regarding sequences with finite range
por: Pakhomov, Fedor, et al.
Publicado: (2024)

Continuous and algebraic domains in univalent foundations
por: de Jong, Tom, et al.
Publicado: (2024)

A Domain-Theoretic Foundation for Imprecise Probability and Credal Sets
por: Edalat, Abbas, et al.
Publicado: (2026)

Reverse mathematics of a uniform Kruskal-Friedman theorem
por: Freund, Anton
Publicado: (2021)

On the symmetry behind duality
por: Abbadini, Marco, et al.
Publicado: (2025)

Categorical Equivalence Between Finitary Orthomodular Dynamic Algebras and Orthomodular Lattices
por: Putra, Juanda Kelana, et al.
Publicado: (2026)

Domains, Information Frames, and Their Logic
por: Spreen, Dieter
Publicado: (2025)

The Mostowski Bridge
por: Enayat, Ali
Publicado: (2025)

On pseudo-irreducibility and Boolean lifting property of filters in residuated lattices
por: Rostami, Esmaeil
Publicado: (2025)

Many-valued aspects of tense an related operators
por: Botur, Michal, et al.
Publicado: (2025)

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

Vaught's Conjecture and Theories of Partial Order Admitting a Finite Lexicographic Decomposition
por: Kurilić, Miloš S.
Publicado: (2026)

Rational Lukasiewicz logic and DMV-algebras
por: Gerla, Brunella
Publicado: (2012)

Axiomatizing small varieties of periodic l-pregroups
por: Galatos, Nikolaos, et al.
Publicado: (2025)

Quasiorders for a characterization of iso-dense spaces
por: Richmond, Tom, et al.
Publicado: (2024)