Pinned Repositories
ctf-hackfest
zeroth
At first glance it might appear that by using axiom schemata as in the example any first-order logic can be made zeroth-order. However, in general only universal quantifiers at the outermost level can be eliminated this way.
genericsuperhero's Repositories
genericsuperhero/ctf-hackfest
genericsuperhero/zeroth
At first glance it might appear that by using axiom schemata as in the example any first-order logic can be made zeroth-order. However, in general only universal quantifiers at the outermost level can be eliminated this way.