FOPL and FOPLN Backward Proofs of Equivalence Laws

Chunyan Mu; Bill Stoddart; Steve Dunne

FOPL and FOPLN Backward Proofs of Equivalence Laws

Chunyan Mu
, Bill Stoddart
, Steve Dunne

Research output: Book/Report › Other report

104 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 language	English
Number of pages	25
Publication status	Published - 2021

Access to Document

Full textOther version, 436 KB

Cite this

@book{7ed4de3ed40749968a459da1d43d36e1,

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

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

year = "2021",

language = "English",

}

TY - BOOK

T1 - FOPL and FOPLN Backward Proofs of Equivalence Laws

AU - Mu, Chunyan

AU - Stoddart, Bill

AU - Dunne, Steve

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 [SDC22].

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 [SDC22].

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