Buchumschlag

Pointed lattice subreducts of varieties of residuated lattices

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Přenosil, Adam
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Nagata products of bimodules over residuated lattices
von: Přenosil, Adam, et al.
Veröffentlicht: (2025)

Levin's and Prucnal's theorems on Medvedev's logic of finite problems
von: Přenosil, Adam
Veröffentlicht: (2024)

Sequent calculi for first-order ST
von: Paoli, Francesco, et al.
Veröffentlicht: (2026)

Duality for finitely valued algebras
von: Abbadini, Marco, et al.
Veröffentlicht: (2025)

On the structure of balanced residuated partially ordered monoids
von: Bonzio, Stefano, et al.
Veröffentlicht: (2024)

Gelfand residuated lattices
von: Rasouli, Saeed, et al.
Veröffentlicht: (2022)

Equational definitions of logical filters
von: Baldi, Michele Pra, et al.
Veröffentlicht: (2024)

Balanced residuated partially ordered semigroups
von: Bonzio, Stefano, et al.
Veröffentlicht: (2025)

n-fold filters in residuated lattice
von: Kadji, A., et al.
Veröffentlicht: (2013)

Nelson algebras, residuated lattices and rough sets: A survey
von: Järvinen, Jouni, et al.
Veröffentlicht: (2024)

Some applications of fuzzy sets in residuated lattices
von: Flaut, Cristina, et al.
Veröffentlicht: (2024)

Pregroup representable expansions of residuated lattices
von: Craig, Andrew, et al.
Veröffentlicht: (2026)

On pseudo-irreducibility and Boolean lifting property of filters in residuated lattices
von: Rostami, Esmaeil
Veröffentlicht: (2025)

Equivalence of multiset-based consequence relations
von: Madanshekaf, Ali, et al.
Veröffentlicht: (2024)

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

The bottom of the lattice of BCK-varieties
von: Kowalski, Tomasz
Veröffentlicht: (2024)

Some remarks on lattices of equivalences
von: Herrmann, Christian
Veröffentlicht: (2025)

Refutation calculi for lattice-based logics: from display to tableaux
von: De Domenico, Andrea, et al.
Veröffentlicht: (2026)

Foulis-Holland theorem for implicative-orthomodular lattices
von: Ciungu, Lavinia Corina
Veröffentlicht: (2024)

On the universal theory of the free pseudocomplemented distributive lattice
von: Carai, Luca, et al.
Veröffentlicht: (2024)

Labelled calculi for lattice-based modal logics
von: van der Berg, Ineke, et al.
Veröffentlicht: (2024)

Twist-structures isomorphic to modal Nelson lattices
von: Menchón, Paula, et al.
Veröffentlicht: (2025)

Game semantics for lattice-based modal μ-calculus
von: Ding, Yiwen, et al.
Veröffentlicht: (2023)

On a lattice of relational spaces (reducts) for the order of integers
von: Semenov, A. L., et al.
Veröffentlicht: (2024)

Superamalgamation for modal lattices via non-distributive dualities
von: Almeida, Rodrigo Nicolau, et al.
Veröffentlicht: (2026)

Undecidability of the elementary theory of Young--Fibonacci lattice
von: Evtushevsky, Vsevolod
Veröffentlicht: (2024)

The model theory of metric lattices: pseudofinite partition lattices
von: Mantilla, José Contreras, et al.
Veröffentlicht: (2025)

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

The variety of complemented lattices where the Sasaki operations form an adjoint pair
von: Cenker, Václav, et al.
Veröffentlicht: (2024)

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

The equational theory of the Weihrauch lattice with multiplication
von: Neumann, Eike, et al.
Veröffentlicht: (2024)

Foulis quantales and complete orthomodular lattices
von: Botur, Michal, et al.
Veröffentlicht: (2025)

The equational theory of the Weihrauch lattice with (iterated) composition
von: Pradic, Cécilia
Veröffentlicht: (2024)

Amalgamation in classes of involutive commutative residuated lattices
von: Jenei, Sándor
Veröffentlicht: (2020)

Reasoning from hypotheses in *-continuous action lattices
von: Kuznetsov, Stepan L., et al.
Veröffentlicht: (2024)

Uninorms via two comparable closure operators on bounded lattices
von: Xiu, Zhenyu, et al.
Veröffentlicht: (2025)

A dagger kernel category of complete orthomodular lattices
von: Botur, Michal, et al.
Veröffentlicht: (2025)

Amenable group actions on $L_p$ lattices
von: Scielzo, Antonio M.
Veröffentlicht: (2024)

The Birkhoff completion of finite lattices
von: Abdulla, Mohammad, et al.
Veröffentlicht: (2024)

Reflecting compact $T_1$-spaces into bounded distributive lattices
von: Gehrke, Mai, et al.
Veröffentlicht: (2024)