On the calculus of relations

Cited In (98)

The origin of relation algebras in the development and axiomatization of the calculus of relations
Non-local configuration of component interfaces by constraint satisfaction
Applying relation algebra and RelView to solve problems on orders and lattices
Embedding mappings and splittings with applications
Dependences between domain constructions in heterogeneous relation algebras
A Relation-Algebraic Treatment of the Dedekind Recursion Theorem
The Number of Structures of Finite Relations
Nondeterministic semantics of compound diagrams
A perspective on the theory of relation algebras
Algebraic foundations for qualitative calculi and networks
Dynamic logic with program specifications and its relational proof system
Primitive Satisfaction and Equational Problems for Lattices and Other Algebras
Computation of Aristotle's and Gergonne's syllogisms
Peirce, frege, the logic of relations, and church's theorem
MODAL RESTRICTION SEMIGROUPS: TOWARDS AN ALGEBRA OF FUNCTIONS
On partially ordered semigroups of relations with domino operations.
О базисах тождеств многообразий группоидов отношений
Formal Concepts in Dedekind Categories
Pair-Dense Relation Algebras
Mechanised support for sound refinement tactics
Mechanical reasoning about families of UTP theories
RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS
On Some Properties of Binary Relations
Unifying threads in Alfred Tarski's work
Varieties of relation algebras
R\(\urcorner\)-algebras and R\(\urcorner\)-model structures as power constructs
Graph algebras and graph varieties
Free Kleene algebras with domain
The impact of transitive closure on the expressiveness of navigational query languages on unlabeled graphs
A coalgebraic perspective on logical interpretations
A proof system for contact relation algebras
The calculus of relations as a foundation for mathematics
Cardinality of relations with applications
A portrait of Alfred Tarski
Duration calculus: Logical foundations
Equationally distinct countable simple {\textsf{Q}}-relation algebras
On quasi-identities of relation algebras with Diophantine operations
Axiomatizing the logical core of XPath 2.0
A Relation-Algebraic Approach to Multirelations and Predicate Transformers
Column-Wise Extendible Vector Expressions and the Relational Computation of Sets of Sets
Point axioms and related conditions in Dedekind categories
Mathematics for reasoning about loop functions
Dynamic algebras: Examples, constructions, applications
Dual tableau-based decision procedures for relational logics with restricted composition operator
Relation algebras and their application in temporal and spatial reasoning
Notes on equational theories of relations
Identities of groupoids of relations with operation of cylindered intersection
Residuation in existential graphs
Inductive semimodules and the vector modules over them.
A non-axiomatizability result in algebraic logic
Equational Reasoning in Non-Classical Logics
The pre-history of Kenneth Arrow's social choice and individual values
Tarski’s Influence on Computer Science
Stone type representation theorems via games
A modal ontology of properties for quantum mechanics
On generalized subreducts of Tarski's algebras of relations with the operation of bi-directional intersection
Peirce algebras
On varieties of groupoids of relations with operation of binary cylindrification.
Relation algebras and function semigroups
On Automating the Calculus of Relations
Title not available (Why is that?)
The algebra of multirelations
On identities of relation algebras with domino operations.
Heyting mereology as a framework for spatial reasoning
The Thomsen-Bachmann correspondence in metric geometry. I
RELEVANCE LOGICS AND RELATION ALGEBRAS
Canonical varieties with no canonical axiomatisation
A construction of cylindric and polyadic algebras from atomic relation algebras
Relation algebras of Sugihara, Belnap, Meyer, and Church
Graphical Conjunctive Queries.
2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000. La Sorbonne, Paris, France, July 23-31, 2000
Title not available (Why is that?)
Automated Algebraic Reasoning for Collections and Local Variables with Lenses
Verifying the Correctness of Disjoint-Set Forests with Kleene Relation Algebras
Adding design strategies to fork algebras
Map composition generalized to coherent collections of maps.
The Laws of Programming Unify Process Calculi
Boolean Algebras and Stone Maps in Schröder Categories
Relation Algebra and RelView in Practical Use: Construction of Special University Timetables
On Semigroups of Relations with the Operation of Left and Right Rectangular Products
General composition of relations
On algebras of binary relations with conjunctive operations
Relation-algebraic verification of disjoint-set forests
Title not available (Why is that?)
Not individuals, nor even objects: on the ontological nature of quantum systems
On classes of generalized subreducts of Tarski's relation algebras with one Diophantine binary operation
A CHOREOGRAPHIC ROBOT VISION MODEL
Weak implicative filters in quasi-ordered residuated systems
Inputs, Outputs, and Composition in the Logic of Information Flows
Implicative filters in quasi-ordered residuated systems
Segerberg Squares of Modal Logics and Theories of Relation Algebras
On the algebraic structure of binary lattice-valued fuzzy relations
Relational proof systems for spatial reasoning
Title not available (Why is that?)
ON STRUCTURAL QUASI-IDEALS AND THEIR IDEALIZERS IN STRUCTURAL MATRIX RINGS
On groupoids of relations with one conjunctive operation of rank 2
Expressive Power and Succinctness of the Positive Calculus of Relations
An algebraic approach to temporal logic

This page was built for publication: On the calculus of relations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5781189)