Results 101 to 110 of about 74,358 (176)

Uniqueness Theorem in Complete Residuated Almost Distributive Lattices

Discussiones Mathematicae - General Algebra and Applications, 2019
Important properties of primary elements in a complete residuated ADL L and the uniqueness theorem in a complete complemented residuated ADL L are proved.
Rao G.C., Raju S.S.
doaj   +1 more source

Optimised ExpTime Tableaux for 𝒮ℋℐ𝒩 over Finite Residuated Lattices

Journal of Applied Mathematics, 2014
This study proposes to adopt a novel tableau reasoning algorithm for the description logic 𝒮ℋℐ𝒩 with semantics based on a finite residuated De Morgan lattice.
Jian Huang, Xinye Zhao, Jianxing Gong
doaj   +1 more source

Pointed Lattice Subreducts of Varieties of Residuated Lattices

Order
Abstract We study the pointed lattice subreducts of varieties of residuated lattices (RLs) and commutative residuated lattices (CRLs), i.e. lattice subreducts expanded by the constant $$\textsf{1}$$
openaire   +3 more sources

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

Remarks on some connections between ideals and filters in residuated lattices

Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica
Ideals and filters are important notions with different meanings in the study of algebraic structures related to logical systems. In this paper we establish new connections between these concepts in residuated lattices.
Piciu Dana, Dan Christina, Boboc Florentina   +2 more
doaj   +1 more source

Etale spaces of residuated lattices

This paper explores the concept of \'{e}tal\'{e} spaces associated with residuated lattices. Notions of bundles and \'{e}tal\'{e}s of residuated lattices over a given topological space are introduced and investigated. For a topological space $\mathscr{B}$
Rasouli, Saeed, Dehghani, Amin, Hosseini, Seyed Naser   +2 more
core  

RADICAL OF FILTERS IN RESIDUATED LATTICES

, 2017
. In this paper, the notion of the radical of a filter in residuated lattices is defined and several characterizations of the radical of a filter are given. We show that if F is a positive implicative filter (or obstinate filter), then Rad(F ) = F .
S Motamed
core  

Relational groupoids and residuated lattices

EPiC Series in Computing, 2018
A quite general order-theoretical approach to implicative structures leads to consider implicative groupoids, which form a wide class of algebras including residuated lattices and their reasonable generalizations. Implicative groupoids find out to be special instances of suitable relational systems and are objects of categories, semicategories and ...
openaire   +3 more sources

Generalized rough and fuzzy rough automata for semantic computing. [PDF]

Int J Mach Learn Cybern, 2022
Yadav S, Tiwari SP, Kumari M, Yadav VK.
europepmc   +1 more source

Decidability for Residuated Lattices and Substructural Logics [PDF]

, 2019
We present a number of results related to the decidability and undecidability of various varieties of residuated lattices and their corresponding substructural logics. The context of this analysis is the extension of residuated lattices by various simple
St. John, Gavin
core