First Order Predicate Logic with Null (FOPLN) Proof of Equivalence Laws

Chunyan Mu, Bill Stoddart, Steve Dunne

Research output: Book/ReportOther report

12 Downloads (Pure)

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 languageEnglish
Number of pages17
Publication statusPublished - 2021

Cite this