TY - JOUR AU - Korbmacher, Johannes IS - 2 JA - Journal of Philosophical Logic PB - Springer Verlag PY - 2018 TI - Axiomatic Theories of Partial Ground I: The Base Theory VL - 47 ER -