/usr/share/axiom-20170501/src/algebra/LOGIC.spad is in axiom-source 20170501-3.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 | )abbrev category LOGIC Logic
++ Description:
++ Logic provides the basic operations for lattices,
++ for example, boolean algebra.
Logic() : Category == SIG where
SIG ==> BasicType with
_~ : % -> %
++ ~(x) returns the logical complement of x.
_/_\ : (%, %) -> %
++ \spadignore{/\} returns the logical `meet', for example, `and'.
_\_/ : (%, %) -> %
++ \spadignore{\/} returns the logical `join', for example, `or'.
add
_\_/(x: %,y: %) == _~( _/_\(_~(x), _~(y)))
|