Larry Joshua Crotts

There are 1 included publications by Larry Joshua Crotts :

TitleDateViewsBrief Description
Construction and evaluation of a gold standard syntax for formal logic formulas and systems 2022 187 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...