• Logical Axiom files

• ----------------------------

• regular Logical axioms for algebras of regular expressions [pdf]

• logicalA Logical axioms for map algebra, normally associated with defAs0A
  (Boolean primitives: meet and symmetric difference) [pdf]
• logicalB Logical axioms for map algebra, normally associated with defAs0B
  (Boolean primitives: meet and complementation) [pdf]
• logicalC Logical axioms for map algebra, normally associated with defAs0C
  (essentially the axioms in [TG87], based on the Boolean primitives: join and complementation) [pdf]

• fork Logical axioms for fork algebras [pdf]

• ----------------------------