:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Kadji, A., Lele, C., Tonga, M.
Format:	Preprint
Published:	2013
Subjects:	Logic
Online Access:	https://arxiv.org/abs/1308.1878
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On pseudo-irreducibility and Boolean lifting property of filters in residuated lattices
by: Rostami, Esmaeil
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)

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

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)

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

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

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

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

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

Questions as cognitive filters
by: Conradie, Willem, et al.
Published: (2025)

Priestley-style duality for filter-distributive congruential logics
by: Esteban, María, et al.
Published: (2020)

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

Quasi-Polish spaces and spaces of filters in second-order arithmetic
by: Kaneko, Yuzuki, et al.
Published: (2026)

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

Some remarks on lattices of equivalences
by: Herrmann, Christian
Published: (2025)

On the Two-fold Role of Logic Constraints in Deep Learning
by: Ciravegna, Gabriele
Published: (2025)

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

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

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

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

Towards Automatic Linearization via SMT Solving
by: Cao, Jian, et al.
Published: (2024)

The category of well-filtered dcpos is not $Γ$-faithful
by: Miao, Hualin, et al.
Published: (2024)

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

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

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)
by: Darbinyan, Arman, et al.
Published: (2025)

The logic behind desirable sets of things, and its filter representation
by: de Cooman, Gert, et al.
Published: (2023)

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

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

Amalgamation in classes of involutive commutative residuated lattices
by: Jenei, Sándor
Published: (2020)

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

Formal Concepts and Residuation on Multilattices
by: Njionou, Blaise B. Koguep, et al.
Published: (2020)

On n-dependence
by: Chernikov, Artem, et al.
Published: (2014)

The structure of subsets of $\mathbb{F}_p^n$ of bounded $\mathrm{VC}_2$-dimension
by: Terry, C., et al.
Published: (2025)

The Josefson--Nissenzweig theorem and filters on $ω$
by: Marciszewski, Witold, et al.
Published: (2022)

There may be exactly $n$ $Q$-points
by: Halbeisen, Lorenz, et al.
Published: (2025)

The equational theory of the Weihrauch lattice with multiplication
by: Neumann, Eike, et al.
Published: (2024)

On the quadratic complexity of subsets of $\mathbb{F}_p^n$ of bounded $\mathrm{VC_{2}}$-dimension
by: Terry, C., et al.
Published: (2025)

Amenable group actions on $L_p$ lattices
by: Scielzo, Antonio M.
Published: (2024)