The logic of the reverse mathematics zoo.

Giovanna D'Agostino Alberto Marcone

Published in: Math. Struct. Comput. Sci. (2018)

Keyphrases

computer algebra
logic programming
automated reasoning
predicate logic
abductive reasoning
multi valued
formal logic
sound and complete axiomatization
defeasible logic
formal theory
proof theory
data sets
social networks
modal logic
set theory