On the calculus of relations

Cited in

(only showing first 100 items - show all)

Heyting mereology as a framework for spatial reasoning
The Thomsen-Bachmann correspondence in metric geometry. I
RELEVANCE LOGICS AND RELATION ALGEBRAS
Expressive Power and Succinctness of the Positive Calculus of Relations
An algebraic approach to temporal logic
A construction of cylindric and polyadic algebras from atomic relation algebras
Higher catoids, higher quantales and their correspondences
Canonical varieties with no canonical axiomatisation
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
Relation algebras of Sugihara, Belnap, Meyer, and Church
Embedding mappings and splittings with applications
Graphical Conjunctive Queries.
Nondeterministic semantics of compound diagrams
A Relation-Algebraic Treatment of the Dedekind Recursion Theorem
Dependences between domain constructions in heterogeneous relation algebras
A perspective on the theory of relation algebras
The Number of Structures of Finite Relations
Cauchy completions and the rule of unique choice in relational doctrines
2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000. La Sorbonne, Paris, France, July 23-31, 2000
Algebraic foundations for qualitative calculi and networks
The laws of programming unify process calculi
A proof theory of right-linear ( -)grammars via cyclic proofs
Diagrammatic algebra of first order logic
The relational machine calculus
Automated Algebraic Reasoning for Collections and Local Variables with Lenses
Verifying the Correctness of Disjoint-Set Forests with Kleene Relation Algebras
Computation of Aristotle's and Gergonne's syllogisms
Dynamic logic with program specifications and its relational proof system
Primitive Satisfaction and Equational Problems for Lattices and Other Algebras
Logic and biology: the correspondence between Alfred Tarski and Joseph H. Woodger
Peirce, frege, the logic of relations, and church's theorem
Adding design strategies to fork algebras
Hyperidentities and related concepts. II
On partially ordered semigroups of relations with domino operations.
An input-output relational domain for algebraic data types and functional arrays
Hyperidentities and related concepts. I
Pair-Dense Relation Algebras
A relation-algebraic approach to multirelations and predicate transformers
Column-wise extendible vector expressions and the relational computation of sets of sets
Formal Concepts in Dedekind Categories
Mechanised support for sound refinement tactics
Mechanical reasoning about families of UTP theories
Varieties of relation algebras
RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS
Unifying threads in Alfred Tarski's work
Map composition generalized to coherent collections of maps.
On Some Properties of Binary Relations
Undecidability of the positive calculus of relations with transitive closure and difference: hypothesis elimination using graph loops
R\(\urcorner\)-algebras and R\(\urcorner\)-model structures as power constructs
Graph algebras and graph varieties
Free Kleene algebras with domain
Boolean Algebras and Stone Maps in Schröder Categories
Relation Algebra and RelView in Practical Use: Construction of Special University Timetables
A coalgebraic perspective on logical interpretations
The impact of transitive closure on the expressiveness of navigational query languages on unlabeled graphs
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
Equationally distinct countable simple {\textsf{Q}}-relation algebras
Duration calculus: Logical foundations
On quasi-identities of relation algebras with Diophantine operations
General composition of relations
On algebras of binary relations with conjunctive operations
Axiomatizing the logical core of XPath 2.0
On varieties of algebras of relations with an operation of double cylindrification
Point axioms and related conditions in Dedekind categories
Relation-algebraic verification of disjoint-set forests
Mathematics for reasoning about loop functions
Dynamic algebras: Examples, constructions, applications
Dual tableau-based decision procedures for relational logics with restricted composition operator
scientific article; zbMATH DE number 7312512 (Why is no real title available?)
Relation algebras and their application in temporal and spatial reasoning
On classes of generalized subreducts of Tarski's relation algebras with one Diophantine binary operation
Notes on equational theories of relations
Not individuals, nor even objects: on the ontological nature of quantum systems
A CHOREOGRAPHIC ROBOT VISION MODEL
Weak implicative filters in quasi-ordered residuated systems
Identities of groupoids of relations with operation of cylindered intersection
Residuation in existential graphs
Inputs, Outputs, and Composition in the Logic of Information Flows
Inductive semimodules and the vector modules over them.
A non-axiomatizability result in algebraic logic
On bases of identities for varieties of groupoids of relations
Equational Reasoning in Non-Classical Logics
The pre-history of Kenneth Arrow's social choice and individual values
A modal ontology of properties for quantum mechanics
Peirce algebras
On generalized subreducts of Tarski's algebras of relations with the operation of bi-directional intersection
Stone type representation theorems via games
Implicative filters in quasi-ordered residuated systems
On varieties of groupoids of relations with operation of binary cylindrification.
Relation algebras and function semigroups
Segerberg Squares of Modal Logics and Theories of Relation Algebras
Minimal signatures with undecidability of representability by binary relations
On the algebraic structure of binary lattice-valued fuzzy relations
On Automating the Calculus of Relations
Relational proof systems for spatial reasoning

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)