FOPL and FOPLN Backward Proofs of Equivalence Laws

Steve Dunne; Chunyan Mu; Bill Stoddart

FOPL and FOPLN Backward Proofs of Equivalence Laws

Steve Dunne
, Chunyan Mu
, Bill Stoddart

Computing Science

Research output: Book/Report › Other Report

2 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 [SDM].

Original language	English
Number of pages	25
Publication status	Published - 2021

Access to Document

equiv-proofs-backwardFinal published version, 436 KBLicence: Unspecified

Cite this

@book{6840b6786a0d4d0ea8faac21a8001456,

title = "FOPL and FOPLN Backward Proofs of Equivalence Laws",

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 [SDM].",

author = "Steve Dunne and Chunyan Mu and Bill Stoddart",

year = "2021",

language = "English",

}

TY - BOOK

T1 - FOPL and FOPLN Backward Proofs of Equivalence Laws

AU - Dunne, Steve

AU - Mu, Chunyan

AU - Stoddart, Bill

PY - 2021

Y1 - 2021

N2 - 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 [SDM].

AB - 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 [SDM].

M3 - Other Report

BT - FOPL and FOPLN Backward Proofs of Equivalence Laws

ER -

FOPL and FOPLN Backward Proofs of Equivalence Laws

Abstract

Access to Document

Fingerprint

Cite this