Skolem’s Theorem in Coherent Logic

DOI10.3233/FI-2019-1853zbMath1458.03047MaRDI QIDQ5212032

Marc Bezem, Thierry Coquand

Publication date: 24 January 2020

Published in: Fundamenta Informaticae (Search for Journal in Brave)

zbMATH Keywords

proof theorycoherent logicSkolem's theorem

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (1)

Valuative Lattices and Spectra

This page was built for publication: Skolem’s Theorem in Coherent Logic