Relation algebras

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classical first-order logic (03B10) History of mathematical logic and foundations (03-03) Axiomatics of classical set theory and its fragments (03E30) Structure theory of algebraic structures (08A05) Structure theory of Boolean algebras (06E05) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (showing only first 100 - <a href="https://query.portal.mardi4nfdi.de/#PREFIX%20wdt%3A%20%3Chttps%3A%2F%2Fportal.mardi4nfdi.de%2Fprop%2Fdirect%2F%3E%0APREFIX%20wd%3A%20%3Chttps%3A%2F%2Fportal.mardi4nfdi.de%2Fentity%2F%3E%0ASELECT%20%2a%20WHERE%20%7B%20%3Fitem%20%3Fp%20%3Fo%20.%20%3Fitem%20rdfs%3Alabel%20%3FitemLabel%20.%20%7D%20LIMIT%2050" target="_blank">show all</a>)

On relation-theoretic \(F\)-contractions and applications in \(F\)-metric spaces ⋮ An algebraic glimpse at bunched implications and separation logic ⋮ Concurrent Dynamic Algebra ⋮ Taming Multirelations ⋮ Formalizing first-order logic in the equational theory of 3-dimensional diagonal-free cylindric algebras ⋮ Categories with fuzzy sets and relations ⋮ Almost structural completeness; an algebraic approach ⋮ Stone Relation Algebras ⋮ Software Development in Relation Algebra with Ampersand ⋮ Reasoning About Cardinalities of Relations with Applications Supported by Proof Assistants ⋮ Finite representations for two small relation algebras ⋮ Unified relation-theoretic metrical fixed point theorems under an implicit contractive condition with an application ⋮ Unified relational-theoretic approach in metric-like spaces with an application ⋮ Relation-theoretic fixed point theorems under a new implicit function with applications to ordinary differential equations ⋮ Developments in concurrent Kleene algebra ⋮ Cryptomorphic topological structures: a computational, relation-algebraic approach ⋮ Weak representations of relation algebras and relational bases ⋮ Expressive power and succinctness of the positive calculus of binary relations ⋮ Observations on relation-theoretic coincidence theorems under Boyd-Wong type nonlinear contractions ⋮ Embeddability into relational lattices is undecidable ⋮ Relation algebras and groups ⋮ Subcompletions of representable relation algebras ⋮ Coset relation algebras ⋮ A relational-theoretic approach to get solution of nonlinear matrix equations ⋮ Relational Meir-Keeler contractions and common fixed point theorems ⋮ Improved bounds on the size of the smallest representation of relation algebra \(32_{65}\) ⋮ Language-theoretic and finite relation models for the (full) Lambek calculus ⋮ Mitsch's order and inclusion for binary relations and partitions. ⋮ A Relation-Algebraic Treatment of the Dedekind Recursion Theorem ⋮ Hardness of Network Satisfaction for Relation Algebras with Normal Representations ⋮ Expressive Power and Succinctness of the Positive Calculus of Relations ⋮ A reduced upper bound for an edge-coloring problem from relation algebra ⋮ Employing locally finitely \(\mathcal{T}\)-transitive binary relations to prove coincidence theorems for nonlinear contractions ⋮ Seurat games on Stockmeyer graphs ⋮ A construction of cylindric and polyadic algebras from atomic relation algebras ⋮ Programming and automating mathematics in the Tarski-Kleene hierarchy ⋮ Hopscotch -- reaching the target hop by hop ⋮ Structural characterizations of the navigational expressiveness of relation algebras on a tree ⋮ FINITE RELATION ALGEBRAS ⋮ Axiomatizability of representable domain algebras ⋮ Universal algebraic methods for non-classical logics ⋮ Directed Ramsey and anti-Ramsey schemes and the Flexible Atom Conjecture ⋮ Unique positive definite solution of non-linear matrix equation on relational metric spaces ⋮ A condensed semantics for qualitative spatial reasoning about oriented straight line segments ⋮ On a Graph Calculus for Algebras of Relations ⋮ Edge colourings and qualitative representations of chromatic algebras ⋮ Comer schemes, relation algebras, and the flexible atom conjecture ⋮ Representable and diagonally representable weakening relation algebras ⋮ ON TARSKI’S AXIOMATIC FOUNDATIONS OF THE CALCULUS OF RELATIONS ⋮ The algebra of functions with antidomain and range ⋮ How many varieties of cylindric algebras are there ⋮ Relation-algebraic verification of Borůvka's minimum spanning tree algorithm ⋮ Arbitrary binary relations, contraction mappings, and \(b\)-metric spaces ⋮ Relational characterisations of paths ⋮ Relation algebras of Sugihara, Belnap, Meyer, and Church ⋮ Axiomatizability of positive algebras of binary relations ⋮ On \(\mathfrak{R}\)-partial \(b\)-metric spaces and related fixed point results with applications ⋮ On Automating the Calculus of Relations ⋮ Applying relation algebra and RelView to solve problems on orders and lattices ⋮ Algebraic foundations for qualitative calculi and networks ⋮ A representation theorem for measurable relation algebras with cyclic groups ⋮ Undecidability of representability as binary relations ⋮ Relation-theoretic metrical coincidence and common fixed point theorems under nonlinear contractions ⋮ Expressing discrete spatial relations under granularity ⋮ CHARACTERIZATION OF POLYGROUPS BY IP-SUBSETS ⋮ THE VARIETY OF COSET RELATION ALGEBRAS ⋮ Some new aspects of metric fixed point theory ⋮ Term algebras of elementarily equivalent atom structures ⋮ Verifying minimum spanning tree algorithms with Stone relation algebras ⋮ Relative expressive power of navigational querying on graphs ⋮ The impact of transitive closure on the expressiveness of navigational query languages on unlabeled graphs ⋮ Algebraic separation logic ⋮ A fast coset-translation algorithm for computing the cycle structure of Comer relation algebras over \(\mathbb{Z} / p \mathbb{Z}\) ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Relation algebra as programming language using the Ampersand compiler ⋮ Calculational relation-algebraic proofs in the teaching tool \textsc{CalcCheck} ⋮ Positive Fork Graph Calculus ⋮ Characterization of small polygroups by their fundamental groups ⋮ Theories with the independence property ⋮ A representation theorem for measurable relation algebras ⋮ Cardinality of relations and relational approximation algorithms ⋮ Cardinality of relations with applications ⋮ Undecidability of representability for lattice-ordered semigroups and ordered complemented semigroups ⋮ Lambek calculus with conjugates ⋮ Relation-theoretic nonlinear contractions in an \(\mathcal{F}\)-metric space and applications ⋮ Representability of Ramsey relation algebras ⋮ Relation theoretic common fixed point results for generalized weak nonlinear contractions with an application ⋮ NONREPRESENTABLE RELATION ALGEBRAS FROM GROUPS ⋮ Varieties of semiassociative relation algebras and tense algebras ⋮ Varieties generated by completions ⋮ Relation-theoretic contraction principle in metric-like as well as partial metric spaces ⋮ Algebras of binary isolating formulas ⋮ Common fixed point theorems under an implicit contractive condition on metric spaces endowed with an arbitrary binary relation and an application ⋮ The Proper Treatment of Linguistic Ambiguity in Ordinary Algebra ⋮ An implicit relation, relational theoretic approach under \(w\)-distance and application to nonlinear matrix equations ⋮ Relation theoretic contractions and their applications in \(b\)-metric like spaces ⋮ Canonical Relativized Cylindric Set Algebras and Weak Associativity ⋮ Fixed point under set-valued relation-theoretic nonlinear contractions and application ⋮ Relation-theoretic metrical coincidence theorems

This page was built for publication: Relation algebras