Abstract
This report presents First Order Predicate Logic (FOPL) and First Order Predicate Logic with NULL (FOPLN) tree proofs of a set of equivalence laws, and is a supplementary document to [SDC22].
Original language | English |
---|---|
Number of pages | 25 |
Publication status | Published - 2021 |