Relation algebras as expanded FL-algebras (Q1936489): Difference between revisions

@@ Property / cites work @@
+Q5532570
@@ Property / cites work: Q5532570 / rank @@
+Normal rank
@@ Property / cites work @@
+THE STRUCTURE OF RESIDUATED LATTICES
@@ Property / cites work: THE STRUCTURE OF RESIDUATED LATTICES / rank @@
+Normal rank
@@ Property / cites work @@
+A CHARACTERIZATION OF de MORGAN ALGEBRAS
@@ Property / cites work: A CHARACTERIZATION OF de MORGAN ALGEBRAS / rank @@
+Normal rank
@@ Property / cites work @@
+Q5810602
@@ Property / cites work: Q5810602 / rank @@
+Normal rank
@@ Property / cites work @@
+Residuated frames with applications to decidability
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+Nonrepresentable sequential algebras
@@ Property / cites work: Nonrepresentable sequential algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3138864
@@ Property / cites work: Q3138864 / rank @@
+Normal rank
@@ Property / cites work @@
+Relation algebras as residuated Boolean algebras
@@ Property / cites work: Relation algebras as residuated Boolean algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Cyclic Involutive Distributive Full Lambek Calculus is Decidable
+Normal rank
@@ Property / cites work @@
+Undecidable Varieties of Semilattice—ordered Semigroups, of Boolean Algebras with Operators, and logics extending Lambek Calculus
+Normal rank
@@ Property / cites work @@
+Q4263075
@@ Property / cites work: Q4263075 / rank @@
+Normal rank
@@ Property / cites work @@
+Some Varieties Containing Relation Algebras
@@ Property / cites work: Some Varieties Containing Relation Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4694214
@@ Property / cites work: Q4694214 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040000
@@ Property / cites work: Q4040000 / rank @@
+Normal rank
@@ Property / cites work @@
+Sequential calculus
@@ Property / cites work: Sequential calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A Gentzen system for involutive residuated lattices
+Normal rank
@@ Property / cites work @@
+Quantales and (noncommutative) linear logic
@@ Property / cites work: Quantales and (noncommutative) linear logic / rank @@
+Normal rank