Relation algebras as expanded FL-algebras
type: Item
instance of: scholarly article
title: Relation algebras as expanded FL-algebras
zbMATH Open document ID: 1322.03047
author: Nikolaos Galatos
author: Peter Jipsen
published in: Algebra Universalis
publication date: 2013-02-05T00:00:00Z
Mathematics Subject Classification ID: 03G25
Mathematics Subject Classification ID: 03B47
Mathematics Subject Classification ID: 06F05
Mathematics Subject Classification ID: 08B15
zbMATH DE Number: 6134575
zbMATH Keywords: relation algebras
zbMATH Keywords: residuated lattices
zbMATH Keywords: De Morgan operation
zbMATH Keywords: FL-algebras
MaRDI profile type: Publication
full work available at URL: s00012-012-0215-y
OpenAlex ID: W2118720376
cites work: Q5532570
cites work: THE STRUCTURE OF RESIDUATED LATTICES
cites work: A CHARACTERIZATION OF de MORGAN ALGEBRAS
cites work: Q5810602
cites work: Residuated frames with applications to decidability
cites work: Residuated lattices. An algebraic glimpse at substructural logics
cites work: Nonrepresentable sequential algebras
cites work: Q3138864
cites work: Relation algebras as residuated Boolean algebras
cites work: Cyclic Involutive Distributive Full Lambek Calculus is Decidable
cites work: Undecidable Varieties of Semilattice—ordered Semigroups, of Boolean Algebras with Operators, and logics extending Lambek Calculus
cites work: Q4263075
cites work: Some Varieties Containing Relation Algebras
cites work: Q4694214
cites work: Q4040000
cites work: Sequential calculus
cites work: A Gentzen system for involutive residuated lattices
cites work: Quantales and (noncommutative) linear logic
DOI: 10.1007/S00012-012-0215-Y
description: scientific article; zbMATH DE number 6134575