Skolem’s Theorem in Coherent Logic

and

https://doi.org/10.3233/FI-2019-1853

Abstract

We give a constructive proof of Skolem’s Theorem for coherent logic and discuss several applications, including a negative answer to a question by Wraith.

Keywords

Skolem’s theorem coherent logic proof theory

Get full access to this article

View all access options for this article.