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

Chunyan Mu; Bill Stoddart; Steve Dunne

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

Chunyan Mu, Bill Stoddart, Steve Dunne

Research output: Book/Report › Other report

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

Access to Document

Full textOther version, 143 KB

Cite this

@book{4c7d4f0bba1444b79e776606f951f13f,

title = "First Order Predicate Logic with Null (FOPLN) Proof of Equivalence Laws",

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

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

year = "2021",

language = "English",

}

TY - BOOK

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

AU - Mu, Chunyan

AU - Stoddart, Bill

AU - Dunne, Steve

PY - 2021

Y1 - 2021

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

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

M3 - Other report

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

ER -

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

Abstract

Access to Document

Fingerprint

Cite this