On Automating the Calculus of Relations

DOI10.1007/978-3-540-71070-7_5zbMath1165.68460OpenAlexW2108661280MaRDI QIDQ3541686

Peter Höfner, Georg Struth

Publication date: 27 November 2008

Published in: Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-71070-7_5

Mathematics Subject Classification ID

Related Items (13)

Using relation-algebraic means and tool support for investigating and computing bipartitions ⋮ Cryptomorphic topological structures: a computational, relation-algebraic approach ⋮ Programming and automating mathematics in the Tarski-Kleene hierarchy ⋮ Hopscotch -- reaching the target hop by hop ⋮ Relational characterisations of paths ⋮ Completeness for Identity-free Kleene Lattices ⋮ Implementing a relational theorem prover for modal logic ⋮ Cardinality of relations and relational approximation algorithms ⋮ Cardinality of relations with applications ⋮ Solving quantifier-free first-order constraints over finite sets and binary relations ⋮ Automated verification of refinement laws ⋮ Modal algebra and Petri nets ⋮ An algebra of database preferences

Uses Software

• Prover9

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A sequent calculus for relation algebras
• Relation algebras
• Relational algebraic semantics of deterministic and nondeterministic programs
• The TPTP problem library. CNF release v1. 2. 1
• Relation-algebraic semantics
• Solution of the Robbins problem
• Evaluating general purpose automated theorem proving systems
• Correspondence results for relational proof systems with application to the Lambek calculus
• Ordered chaining calculi for first-order theories of transitive relations
• System Description: Spass Version 3.0
• The B-Book
• New Sets of Independent Postulates for the Algebra of Logic, With Special Reference to Whitehead and Russell's Principia Mathematica
• Boolean Algebra. A Correction
• RALL: Machine-supported proofs for relation algebra
• Computer Algebra in Scientific Computing
• Relational and Kleene-Algebraic Methods in Computer Science
• On the calculus of relations
• Boolean Algebras with Operators. Part I

This page was built for publication: On Automating the Calculus of Relations