scientific article
From MaRDI portal
Publication:3879418
zbMath0438.18003MaRDI QIDQ3879418
Dany Serrato, Jean-Pierre Olivier
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logical aspects of Boolean algebras (03G05) Other classical set theory (including functions, relations, and set algebra) (03E20) Categories of spans/cospans, relations, or partial maps (18B10)
Related Items (26)
Kleisli, Parikh and Peleg compositions and liftings for multirelations ⋮ Using relation-algebraic means and tool support for investigating and computing bipartitions ⋮ Type-n Arrow Categories ⋮ Dependencies in relational models of databases ⋮ Point Axioms in Dedekind Categories ⋮ Relation algebras and Schröder categories ⋮ Squares and rectangles in relation categories. Three cases: Semilattice, distributive lattice and Boolean non-unitary ⋮ Additive relation categories or algebras: MacLane, Hutchinson axioms and bi-modularity ⋮ Determinisation of relational substitutions in ordered categories with domain ⋮ Categories of relations for variable-basis fuzziness ⋮ Sharpness in the Fuzzy World ⋮ Formal Concepts in Dedekind Categories ⋮ Boolean Algebras and Stone Maps in Schröder Categories ⋮ An Ordered Category of Processes ⋮ Relational properties of sequential composition of coalgebras ⋮ Relational algebraic approach to the real numbers the additive group ⋮ Dependences between domain constructions in heterogeneous relation algebras ⋮ Representation theory of Goguen categories. ⋮ Products in categories of relations ⋮ Algebraization of quantifier logics, an introductory overview ⋮ Dedekind categories with cutoff operators ⋮ Completeness of a relational calculus for program schemes ⋮ Membership values in arrow categories ⋮ Arrow categories ⋮ Point axioms and related conditions in Dedekind categories ⋮ A new algebraic approach to L-fuzzy relations convenient to study crispness
This page was built for publication:
