scientific article; zbMATH DE number 3070503
From MaRDI portal
Publication:5810602
zbMath0045.31701MaRDI QIDQ5810602
Publication date: 1951
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Relational algebraic semantics of deterministic and nondeterministic programs ⋮ Peirce algebras ⋮ General composition of relations ⋮ A relational division operator: The conjugate kernel ⋮ Three-variable statements of set-pairing ⋮ Matrix relation algebras ⋮ A relation algebraic model of robust correctness ⋮ Relation-algebraic semantics ⋮ Congruences and ideals on Peirce algebras: a heterogeneous/homogeneous point of view ⋮ Computation of Aristotle's and Gergonne's syllogisms ⋮ Relation Algebras, Matrices, and Multi-valued Decision Diagrams ⋮ Parallel constructions of maximal path sets and applications to short superstrings ⋮ Dynamic logic with program specifications and its relational proof system ⋮ An abstract theory of invertible relations ⋮ Finite, integral, and finite-dimensional relation algebras: A brief history ⋮ Relation algebras of intervals ⋮ Embedding modular lattices into relation algebras ⋮ Complexity of equations valid in algebras of relations. I: Strong non-finitizability ⋮ Equationally distinct countable simple {\textsf{Q}}-relation algebras ⋮ FIRST-ORDER AXIOMATISATIONS OF REPRESENTABLE RELATION ALGEBRAS NEED FORMULAS OF UNBOUNDED QUANTIFIER DEPTH ⋮ A Relation Algebraic Semantics for a Lazy Functional Logic Language ⋮ Seurat games on Stockmeyer graphs ⋮ Relational properties of sequential composition of coalgebras ⋮ Relation algebras as expanded FL-algebras ⋮ Some Varieties Containing Relation Algebras ⋮ ON TARSKI’S AXIOMATIC FOUNDATIONS OF THE CALCULUS OF RELATIONS ⋮ Representation theory of Goguen categories. ⋮ Boolean modules ⋮ Relation algebras of Sugihara, Belnap, Meyer, and Church ⋮ Combining relational calculus and the Dijkstra-Gries method for deriving relational programs ⋮ A relation algebraic approach to interaction categories ⋮ On equational theories of varieties of anticommutative rings ⋮ Relation algebraic domain constructions ⋮ On fork arrow logic and its expressive power ⋮ Embedding a demonic semilattice in a relation algebra ⋮ Pair-Dense Relation Algebras ⋮ Subsumption computed algebraically ⋮ Goals and benchmarks for automated map reasoning ⋮ Functionally dense relation algebras ⋮ Layered map reasoning ⋮ Distributed Relation Logic ⋮ Symmetric quotients and domain constructions ⋮ Membership values in arrow categories ⋮ Finite methods in 1-order formalisms ⋮ Some sufficient conditions for the representability of relation algebras ⋮ Varieties of semiassociative relation algebras and tense algebras ⋮ Congruences and ideals on Boolean modules: a heterogeneous point of view ⋮ Unifying threads in Alfred Tarski's work ⋮ Arrow categories ⋮ Notions of density that imply representability in algebraic logic ⋮ A sequent calculus for relation algebras ⋮ Relational demonic fuzzy refinement ⋮ Varieties of relation algebras ⋮ Relation algebras: Concept of points and representability ⋮ A new algebraic approach to L-fuzzy relations convenient to study crispness ⋮ A portrait of Alfred Tarski ⋮ Tarskian Classical Relevant Logic ⋮ Nondeterministic semantics of compound diagrams ⋮ Interpretability of first-order linear temporal logics in fork algebras ⋮ Łukasiewicz-Moisil relation algebras
