POSITIVE FRAGMENTS OF RELEVANCE LOGIC AND ALGEBRAS OF BINARY RELATIONS (Q3006000): Difference between revisions

@@ Property / author @@
-Robin Hirschl
@@ Property / author: Robin Hirschl / rank @@
-Normal rank
@@ Property / author @@
+Robin Hirschl
@@ Property / author: Robin Hirschl / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Representations of distributive lattice-ordered semigroups with binary relations
+Normal rank
@@ Property / cites work @@
+RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS
@@ Property / cites work: RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS / rank @@
+Normal rank
@@ Property / cites work @@
+A completeness theorem for Kleene algebras and the algebra of regular events
+Normal rank
@@ Property / cites work @@
+Atom structures of cylindric algebras and relation algebras
+Normal rank
@@ Property / cites work @@
+Representable semilattice-ordered monoids
@@ Property / cites work: Representable semilattice-ordered monoids / rank @@
+Normal rank
@@ Property / cites work @@
+Strongly representable atom structures of cylindric algebras
+Normal rank
@@ Property / cites work @@
+Relation algebras by games
@@ Property / cites work: Relation algebras by games / rank @@
+Normal rank
@@ Property / cites work @@
+Representability is not decidable for finite relation algebras
+Normal rank
@@ Property / cites work @@
+Relation algebras from cylindric algebras. II
@@ Property / cites work: Relation algebras from cylindric algebras. II / rank @@
+Normal rank
@@ Property / cites work @@
+Relation algebras with \(n\)-dimensional relational bases
+Normal rank
@@ Property / cites work @@
+Complete representations in algebraic logic
@@ Property / cites work: Complete representations in algebraic logic / rank @@
+Normal rank
@@ Property / cites work @@
+The Class of Representable Ordered Monoids has a Recursively Enumerable, Universal Axiomatisation but it is Not Finitely Axiomatisable
+Normal rank
@@ Property / cites work @@
+Completely Representable Relation Algebras
@@ Property / cites work: Completely Representable Relation Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Canonical extensions and relational completeness of some substructural logics
+Normal rank
@@ Property / cites work @@
+A relational representation of quasi-Boolean algebras
+Normal rank
@@ Property / cites work @@
+A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS
@@ Property / cites work: A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean Algebras with Operators
@@ Property / cites work: Boolean Algebras with Operators / rank @@
+Normal rank
@@ Property / cites work @@
+On representable relation algebras
@@ Property / cites work: On representable relation algebras / rank @@
+Normal rank
@@ Property / cites work @@
+RELEVANCE LOGICS AND RELATION ALGEBRAS
@@ Property / cites work: RELEVANCE LOGICS AND RELATION ALGEBRAS / rank @@
+Normal rank
@@ Property / cites work @@
+Algebras of Relations and Relevance Logic
@@ Property / cites work: Algebras of Relations and Relevance Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Lambek calculus and its relational semantics: Completeness and incompleteness
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3006000