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