Relevant-Logic

tl;dr: My Honours Project I guess

Name		Name	Last commit message	Last commit date
Latest commit History 58 Commits
Thesis		Thesis
paper		paper
.gitignore		.gitignore
CoverSemanticsScript.sml		CoverSemanticsScript.sml
GoldblattRLScript.sml		GoldblattRLScript.sml
GoldblattSlaneyEquivScript.sml		GoldblattSlaneyEquivScript.sml
NaturalDeductionScript.sml		NaturalDeductionScript.sml
README.md		README.md
RLRulesScript.sml		RLRulesScript.sml
RMSemanticsScript.sml		RMSemanticsScript.sml
SlaneyRLScript.sml		SlaneyRLScript.sml

Provide feedback