Imagen de Portada

Nagata products of bimodules over residuated lattices

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Přenosil, Adam, Tsinakis, Constantine
Formato:	Preprint
Publicado:	2025
Materias:	Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Equivalence of multiset-based consequence relations
por: Madanshekaf, Ali, et al.
Publicado: (2024)

Pointed lattice subreducts of varieties of residuated lattices
por: Přenosil, Adam
Publicado: (2023)

Levin's and Prucnal's theorems on Medvedev's logic of finite problems
por: Přenosil, Adam
Publicado: (2024)

Duality for finitely valued algebras
por: Abbadini, Marco, et al.
Publicado: (2025)

Sequent calculi for first-order ST
por: Paoli, Francesco, et al.
Publicado: (2026)

On the structure of balanced residuated partially ordered monoids
por: Bonzio, Stefano, et al.
Publicado: (2024)

Equational definitions of logical filters
por: Baldi, Michele Pra, et al.
Publicado: (2024)

Balanced residuated partially ordered semigroups
por: Bonzio, Stefano, et al.
Publicado: (2025)

Gelfand residuated lattices
por: Rasouli, Saeed, et al.
Publicado: (2022)

Nelson algebras, residuated lattices and rough sets: A survey
por: Järvinen, Jouni, et al.
Publicado: (2024)

n-fold filters in residuated lattice
por: Kadji, A., et al.
Publicado: (2013)

Some applications of fuzzy sets in residuated lattices
por: Flaut, Cristina, et al.
Publicado: (2024)

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

Pregroup representable expansions of residuated lattices
por: Craig, Andrew, et al.
Publicado: (2026)

Terms that define nuclei on residuated lattices: a case study of BL-algebras
por: Buss, Sebastián, et al.
Publicado: (2024)

Exotic full factors via weakly coarse bimodules
por: Gao, David, et al.
Publicado: (2026)

Type Theory With Erasure
por: Theocharis, Constantine, et al.
Publicado: (2026)

A Prime-Generated Formalization of Nagata's Factoriality Theorem in Lean 4
por: Ramos, Arthur F., et al.
Publicado: (2026)

Refutation calculi for lattice-based logics: from display to tableaux
por: De Domenico, Andrea, et al.
Publicado: (2026)

Some remarks on lattices of equivalences
por: Herrmann, Christian
Publicado: (2025)

On matrix rank function over bounded arithmetics
por: Ken, Eitetsu, et al.
Publicado: (2023)

Twist-structures isomorphic to modal Nelson lattices
por: Menchón, Paula, et al.
Publicado: (2025)

Foulis-Holland theorem for implicative-orthomodular lattices
por: Ciungu, Lavinia Corina
Publicado: (2024)

On the universal theory of the free pseudocomplemented distributive lattice
por: Carai, Luca, et al.
Publicado: (2024)

Labelled calculi for lattice-based modal logics
por: van der Berg, Ineke, et al.
Publicado: (2024)

On a lattice of relational spaces (reducts) for the order of integers
por: Semenov, A. L., et al.
Publicado: (2024)

Superamalgamation for modal lattices via non-distributive dualities
por: Almeida, Rodrigo Nicolau, et al.
Publicado: (2026)

Game semantics for lattice-based modal μ-calculus
por: Ding, Yiwen, et al.
Publicado: (2023)

On the ABK Conjecture, alpha-well Quasi Orders and Dress-Schiffels product
por: Abraham, Uri, et al.
Publicado: (2023)

Structures of uninorms on bounded lattices via t-conorms, closure operators and t-subnorms
por: Xiu, Zhenyu, et al.
Publicado: (2025)

Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
por: Gaßner, Christine
Publicado: (2025)

Abstract computation over first-order structures. Part IIb: Moschovakis' operator and other non-determinisms
por: Gaßner, Christine
Publicado: (2025)

Abstract computation over first-order structures. Part I: Deterministic and non-deterministic BSS RAMs
por: Gaßner, Christine
Publicado: (2025)

New construction methods for uninorms via functions with q and uninorms on bounded lattices
por: Xiu, Zhen-Yu, et al.
Publicado: (2024)

Undecidability of the elementary theory of Young--Fibonacci lattice
por: Evtushevsky, Vsevolod
Publicado: (2024)

A robust family of residually finite groups; spectra of residual finiteness growth, computability properties, and other applications (with an appendix by Arman Darbinyan and Emmanuel Rauzy)
por: Darbinyan, Arman, et al.
Publicado: (2025)

On a conjecture of Debs and Saint Raymond
por: Kwela, Adam
Publicado: (2021)

More on yet another ideal version of the bounding number
por: Kwela, Adam
Publicado: (2024)

Egorov ideals
por: Kwela, Adam
Publicado: (2023)

On products of ultrafilters
por: Goldberg, Gabriel
Publicado: (2021)