A categorical interpretation of the intuitionistic, typed, first order logic with Hilbert's \(\varepsilon\)-terms
type: Item
instance of: scholarly article
title: A categorical interpretation of the intuitionistic, typed, first order logic with Hilbert's \(\varepsilon\)-terms
zbMATH Open document ID: 1436.03093
author: Fabio Pasquali
published in: Logica Universalis
publication date: 2017-05-12T00:00:00Z
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 03B38
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 18C50
zbMATH DE Number: 6715060
zbMATH Keywords: Hilbert's epsilon calculus
zbMATH Keywords: categorical logic
MaRDI profile type: Publication
full work available at URL: s11787-016-0155-y
OpenAlex ID: W2524346107
cites work: Hilbert's ϵ‐operator in intuitionistic type theories
cites work: Axiom of Choice and Complementation
cites work: Q4145861
cites work: Q4783274
cites work: Q3727946
cites work: First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
cites work: Epsilon substitution for first- and second-order predicate logic
cites work: Q5559220
cites work: Q3001106
DOI: 10.1007/S11787-016-0155-Y
description: scientific article; zbMATH DE number 6715060