ALL
ASU
ECSU
ECU
FSU
NCCU
UNCA
UNCC
UNCG
UNCP
UNCW
WCU
ALL
ASU
ECSU
ECU
FSU
NCCU
UNCA
UNCC
UNCG
UNCP
UNCW
WCU
Browse All
Titles
Author By Last Name
Keywords
Departments
Theses & Dissertations
Titles
Author By Last Name
Advisor By Last Name
Keywords
Type
Degrees By Discipline
Submissions
Faculty Submissions
Student Submissions
Research Data
Larry Joshua Crotts
Computer Science,
UNCG
There are 1 included publications by Larry Joshua Crotts :
Title
Date
Views
Brief Description
Construction and evaluation of a gold standard syntax for formal logic formulas and systems
2022
362
Classical logic plays a significant role in computer science where formal proofs eventually make their way into a student’s curriculum via discrete mathematics, philosophy logic, or some other medium. We traditionally see propositional logic in Boole...
