Cut-elimination for simple type theory with an axiom of choice

DOI10.2307/2586480zbMath0930.03080OpenAlexW2153378801WikidataQ114004529 ScholiaQ114004529MaRDI QIDQ4262565

Grigori Mints

Publication date: 12 September 1999

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2586480

zbMATH Keywords

cut-eliminationaxiom of choicesimple type theory

Mathematics Subject Classification ID

Related Items (4)

Cut-elimination for quantified conditional logic ⋮ The higher-order prover \textsc{Leo}-II ⋮ Analytic tableaux for higher-order logic with choice ⋮ Analytic Tableaux for Higher-Order Logic with Choice

This page was built for publication: Cut-elimination for simple type theory with an axiom of choice