Cover Image

Terms that define nuclei on residuated lattices: a case study of BL-algebras

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Buss, Sebastián, Castaño, Diego, Varela, José Patricio Díaz
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The algebraic semantics for the one-variable monadic fragment of the predicate logic $\mathcal{G}\forall_{\sim}$
by: Castaño, Diego, et al.
Published: (2024)

Strong completeness for the predicate logic of the continuous t-norms
by: Castaño, Diego, et al.
Published: (2024)

Strong standard completeness theorems for S5-modal Lukasiewicz logics
by: Castaño, Diego, et al.
Published: (2024)

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

Some applications of finite BL-algebras
by: Flaut, Cristina, et al.
Published: (2025)

Gelfand residuated lattices
by: Rasouli, Saeed, et al.
Published: (2022)

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

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

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

Nagata products of bimodules over residuated lattices
by: Přenosil, Adam, et al.
Published: (2025)

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

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

Modal definability in Euclidean modal logics
by: Balbiani, Philippe, et al.
Published: (2025)

A concrete model for a typed linear algebraic lambda calculus
by: Díaz-Caro, Alejandro, et al.
Published: (2018)

On definable J-sets
by: Zhang, Zhentao
Published: (2025)

PFA and the definability of the nonstationary ideal
by: Hoffelner, Stefan, et al.
Published: (2023)

An essentially algebraic glance to Kripke semantics: the S5 case
by: De Berardinis, Matteo, et al.
Published: (2025)

Modal definability in Kripke's theory of truth
by: Walsh, James
Published: (2024)

Trace definability I: preservation and characterizations
by: Walsberg, Erik
Published: (2025)

$\text{NS}_{ω_1}$ saturated, $Δ_1 ( \{ ω_1 \} )$-definable and a $Δ^1_4$-definable well-order of the reals
by: Hoffelner, Stefan
Published: (2025)

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

The short exact sequence in definable Galois cohomology
by: Meretzky, David
Published: (2024)

On groups definable in geometric fields with generic derivations
by: Pillay, Anand, et al.
Published: (2025)

Trace definability IV: higher arity notions
by: Walsberg, Erik
Published: (2026)

One-dimensional F-definable sets in F((t))
by: Anscombe, Sylvy
Published: (2015)

Isomorphism types of definable (maximal) cofinitary groups
by: Schembecker, Lukas
Published: (2025)

Trace definability II: model-theoretic linearity
by: Walsberg, Erik
Published: (2026)

Regular resolution effectively simulates resolution
by: Buss, Sam, et al.
Published: (2024)

Trace definability III: Infinite dimensional space over a model of $T$
by: Walsberg, Erik
Published: (2026)

One dimensional commutative groups definable in algebraically closed valued fields and in the pseudo-local fields
by: Acosta, Juan Pablo, et al.
Published: (2021)

Free Independence is not definable
by: Boulanger, William, et al.
Published: (2025)

On definability of C*-tensor norms
by: Goldbring, Isaac, et al.
Published: (2025)

Difference-restriction algebras with operators
by: Borlido, Célia, et al.
Published: (2025)

Extended Resolution Clause Learning via Dual Implication Points
by: Buss, Sam, et al.
Published: (2024)

Every countable model of arithmetic or set theory has a pointwise-definable end extension
by: Hamkins, Joel David
Published: (2022)

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

The magmatic universe revisited: we define ordered pairs, relations, numbers and a special form of Separation
by: Tzouvaras, Athanassios
Published: (2026)

Balanced residuated partially ordered semigroups
by: Bonzio, Stefano, et al.
Published: (2025)

Limits of definable families and dilations in nilmanifolds
by: Peterzil, Ya'acov, et al.
Published: (2024)

Convex algebras on an interval with semicontinuous monotone operations
by: Sokolova, Ana, et al.
Published: (2026)