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