• 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]

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