Skip to search formSkip to main contentSemantic Scholar

You are currently offline. Some features of the site may not work correctly.

Semantic Scholar uses AI to extract papers important to this topic.

2018

2018

In an article dating back in 1992, Kosta Do\v{s}en initiated a project of modal translations in substructural logics, aiming at… Expand

Is this relevant?

2017

2017

Equality algebras were introduced by S. Jenei as a possible algebraic semantic for fuzzy type theory. In this paper, we introduce… Expand

Is this relevant?

2016

2016

Residuated boolean algebras are introduced by Jonsson and Tsinakis [10] as generalizations of relation algebras. Jispen [12… Expand

Is this relevant?

Highly Cited

2015

Highly Cited

2015

The theory of residuated lattices, first proposed by Ward and Dilworth [4], is formalised in Isabelle/HOL. This includes concepts… Expand

Is this relevant?

2014

2014

We investigate a general many-valued rough set theory, based on tied adjointness algebras, from both constructive and axiomatic… Expand

Is this relevant?

2011

2011

A residuated algebra (RA) is a generalization of a residuated groupoid; instead of one basic binary operation · with residual… Expand

Is this relevant?

2010

2010

In Section 2 replace the definition of ∗◦Q in Definition 1 by x∗◦Q y = inf{u ∗◦ v | u > x, v > y}. It is defined only if the… Expand

Is this relevant?

2008

2008

Bounded residuated lattice ordered monoids (Rl-monoids) form a class of algebras which contains the class of Heyting algebras, i… Expand

Is this relevant?

2007

2007

In this paper, we introduce and discuss the concept of TL-filters of integral residuated l-monoids. First we study some basic… Expand

Is this relevant?

1997

1997

We prove some theorems on representation of residuated semigroups and monoids in algebras of binary relations. One of them has… Expand

Is this relevant?