Normal forms and reduction for theories of binary relations

DOI10.1007/10721975_7MaRDI QIDQ2723894zbMATH OpenFDO

Authors Daniel J. Dougherty, Claudio Gutiérrez

Publication date 8 July 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/10721975_7

zbMATH Keywords

allegoriesdiagrammatic reasoningset relation algebra

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Cylindric and polyadic algebras; relation algebras (03G15) Theories (e.g., algebraic theories), structure, and semantics (18C10) Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55)

Recommendations

• Normal forms for binary relations
• Normal forms and normal theories in conditional rewriting
• Strong reduction and normal form in combinatory logic
• Reduction theory of binary forms
• Normal forms in combinatory logic
• scientific article; zbMATH DE number 4001523
• scientific article; zbMATH DE number 4199606
• scientific article; zbMATH DE number 3124819
• A generalization of the theory of normal forms
• scientific article; zbMATH DE number 2196597

Cited in

(11)

• Special relations for formulae, their equivalence relations and theories
• Normal forms for binary relations
• A graphical representation of relational formulae with complementation
• Sufficiency Conditions for Bokut' Normal Forms
• On the positive calculus of relations with transitive closure
• scientific article; zbMATH DE number 3902086 (Why is no real title available?)
• scientific article; zbMATH DE number 168431 (Why is no real title available?)
• Reasoning with graphs
• On graph reasoning
• Armstrong axioms and Boyce-Codd-Heath normal form under bag semantics
• Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types

This page was built for publication: Normal forms and reduction for theories of binary relations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2723894)