Epsilon substitution for first- and second-order predicate logic

DOI10.1016/J.APAL.2012.05.004zbMath1275.03156OpenAlexW1982226712MaRDI QIDQ1946675

Grigori Mints

Publication date: 15 April 2013

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2012.05.004

zbMATH Keywords

second-order logicepsilon substitutionimpredicativity

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) First-order arithmetic and fragments (03F30) Second- and higher-order arithmetic and fragments (03F35)

Related Items (2)

A characterization of those categories whose internal logic is Hilbert's \(\varepsilon\)-calculus ⋮ A categorical interpretation of the intuitionistic, typed, first order logic with Hilbert's \(\varepsilon\)-terms

This page was built for publication: Epsilon substitution for first- and second-order predicate logic