FOPL and FOPLN Backward Proofs of Equivalence Laws

Chunyan Mu, Bill Stoddart, Steve Dunne

Research output: Book/ReportOther report

4 Downloads (Pure)

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

Fingerprint

Dive into the research topics of 'FOPL and FOPLN Backward Proofs of Equivalence Laws'. Together they form a unique fingerprint.

Cite this