A categorical interpretation of the intuitionistic, typed, first order logic with Hilbert's \(\varepsilon\)-terms (Q528519)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A categorical interpretation of the intuitionistic, typed, first order logic with Hilbert's \(\varepsilon\)-terms |
scientific article |
Statements
A categorical interpretation of the intuitionistic, typed, first order logic with Hilbert's \(\varepsilon\)-terms (English)
0 references
12 May 2017
0 references
Hilbert's epsilon calculus
0 references
categorical logic
0 references
0 references