Results 81 to 90 of about 662 (160)

Alexandrov L-Fuzzy Pre-Proximities

Mathematics, 2019
In this paper, we introduce the concepts of Alexandrov L-fuzzy pre-proximities on complete residuated lattices. Moreover, we investigate their relations among Alexandrov L-fuzzy pre-proximities, Alexandrov L-fuzzy topologies, L-fuzzy upper approximate ...
Yong Chan Kim, Ju-Mok Oh
doaj   +1 more source

On the algebraic structure of Weihrauch degrees [PDF]

Logical Methods in Computer Science, 2018
We introduce two new operations (compositional products and implication) on Weihrauch degrees, and investigate the overall algebraic structure. The validity of the various distributivity laws is studied and forms the basis for a comparison with similar ...
Vasco Brattka, Arno Pauly
doaj   +1 more source

An Exploration of Ideals and Filters in Triangle Algebras

Axioms
In the study of algebraic structures related to logical systems, ideals and filters have different meanings and are algebraic notions related to logical provable formulas.
Euclide Noumen, Fabrice Tchoua Yinga, Blaise Blériot Koguep Njionou, Chris Cornelis   +3 more
doaj   +1 more source

Residuated lattices : an algebraic glimpse at substructural logics /

, 2007
The book is meant to serve two purposes. The first and more obvious one is to present state of the art results in algebraic research into residuated structures related to substructural logics. The second, less obvious but equally important, is to provide
Galatos, Nikolaos.
core  

Compatible operations on commutative weak residuated lattices [PDF]

, 2022
Compatibility of functions is a classical topic in Universal Algebra related to the notion of affine completeness. In algebraic logic, it is concerned with the possibility of implicitly defining new connectives.
San Martín, Hernán Javier
core  

The Relations among Fuzzy t-Filters on Residuated Lattices

The Scientific World Journal, 2014
We give the simple general principle of studying the relations among fuzzy t-filters on residuated lattices. Using the general principle, we can easily determine the relations among fuzzy t-filters on different logical algebras.
Huarong Zhang, Qingguo Li
doaj   +1 more source

Substructural Logics and Residuated Lattices -- An Introduction

, 2003
This is an introductory survey of substructural logics and of residuated lattices which are algebraic structures for substructural logics. Our survey starts from sequent systems for basic substructural logics and develops the proof theory of them.
Hiroakira Ono
core   +1 more source

The “Generator” of Int-Soft Filters on Residuated Lattices

Mathematics, 2019
In this paper, we give the “generator” of int-soft filters and propose the notion of t-int-soft filters on residuated lattices. We study the properties of t-int-soft filters and obtain some commonalities (e.g., the extension property ...
Huarong Zhang, Minxia Luo
doaj   +1 more source

Classes of Int-Soft Filters in Residuated Lattices

The Scientific World Journal, 2014
The notions of int-soft filters, int-soft G-filters, regular int-soft filters, and MV-int-soft filters in residuated lattices are introduced, and their relations, properties, and characterizations are investigated. Conditions for an int-soft filter to be
Young Bae Jun, Sun Shin Ahn, Kyoung Ja Lee   +2 more
doaj   +1 more source

Varieties of residuated lattices

, 2003
A residuated lattice is an algebraic structure that has a lattice and a monoid reduct, such that multiplication is residuated with respect to the order.
Galatos, Nikolaos
core