On the calculus of relations
From MaRDI portal
Publication:5781189
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)