## Abstract

This report presents First Order Predicate Logic with NULL (FOPLN) forward proofs of a set of equivalence laws, and is a supplementary document to [SDC22].

Original language | English |
---|---|

Number of pages | 17 |

Publication status | Published - 2021 |

Chunyan Mu, Bill Stoddart, Steve Dunne

Research output: Book/Report › Other report

20
Downloads
(Pure)

This report presents First Order Predicate Logic with NULL (FOPLN) forward proofs of a set of equivalence laws, and is a supplementary document to [SDC22].

Original language | English |
---|---|

Number of pages | 17 |

Publication status | Published - 2021 |