2 papers
math.LO2019
The Reduction Property Revisited
Nika Pona, Joost J. Joosten
In this paper we will study an important but rather technical result which is called The Reduction Property. The result tells us how much arithmetical conservation there is between…
cs.AI2018
When logic lays down the law
Bjørn Jespersen, Ana de Almeida Borges, Jorge del Castillo Tierz +5
We analyse so-called computable laws, i.e., laws that can be enforced by automatic procedures. These laws should be logically perfect and unambiguous, but sometimes they are not. W…