Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 210,256,510 papers from all fields of science
Search
Sign In
Create Free Account
Residuated Boolean algebra
In mathematics, a residuated Boolean algebra is a residuated lattice whose lattice structure is that of a Boolean algebra. Examples include Boolean…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
4 relations
Broader (2)
Boolean algebra
Fuzzy logic
De Morgan's laws
Residuated lattice
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Modal translation of substructural logics
Chrysafis Hartonas
J. Appl. Non Class. Logics
2018
Corpus ID: 119712132
ABSTRACT In an article dating back in 1992, Kosta Došen initiated a project of modal translations in substructural logics, aiming…
Expand
2017
2017
Some Types of Filters in Equality Algebras
R. Borzooei
,
F. Zebardast
,
M. Kologani
2017
Corpus ID: 125866981
Equality algebras were introduced by S. Jenei as a possible algebraic semantic for fuzzy type theory. In this paper, we introduce…
Expand
2016
2016
On the Complexity of the Equational Theory of Residuated Boolean Algebras
Zhe Lin
,
Minghui Ma
Workshop on Logic, Language, Information and…
2016
Corpus ID: 46407686
Residuated boolean algebras are introduced by Jonsson and Tsinakis [10] as generalizations of relation algebras. Jispen [12…
Expand
Highly Cited
2015
Highly Cited
2015
Residuated Lattices
Victor B. F. Gomes
,
G. Struth
Arch. Formal Proofs
2015
Corpus ID: 44418625
The theory of residuated lattices, first proposed by Ward and Dilworth [5], is formalised in Isabelle/HOL. This includes concepts…
Expand
2014
2014
Many-Valued Rough Sets Based on Tied Implications
M. El-Zekey
Rough Sets and Knowledge Technology
2014
Corpus ID: 36079052
We investigate a general many-valued rough set theory, based on tied adjointness algebras, from both constructive and axiomatic…
Expand
2011
2011
Interpolation and FEP for logics of residuated algebras
W. Buszkowski
Logic Journal of the IGPL
2011
Corpus ID: 1637018
A residuated algebra (RA) is a generalization of a residuated groupoid; instead of one basic binary operation · with residual…
Expand
2010
2010
Erratum to "On the reflection invariance of residuated chains" [Ann. Pure Appl. Logic 161 (2009) 220-227]
S. Jenei
Annals of Pure and Applied Logic
2010
Corpus ID: 7301194
2008
2008
MODAL OPERATORS ON BOUNDED RESIDUATED l-MONOIDS
J. Rachunek
,
D. Šalounová
2008
Corpus ID: 33328246
Bounded residuated lattice ordered monoids (Rl-monoids) form a class of algebras which contains the class of Heyting algebras, i…
Expand
2007
2007
TL-filters of integral residuated l-monoids
Zhudeng Wang
Information Sciences
2007
Corpus ID: 38336827
1997
1997
Representation of Residuated Semigroups in Some Algebras of Relations (The Method of Canonical Models)
W. Buszkowski
,
Miroslawa Kolowska-Gawiejnowics
Fundamenta Informaticae
1997
Corpus ID: 700273
We prove some theorems on representation of residuated semigroups and monoids in algebras of binary relations. One of them has…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE