Completeness of indexed \(\varepsilon\)-calculus

DOI10.1007/S00153-003-0170-6zbMath1042.03009OpenAlexW2049353552MaRDI QIDQ1411658

Darko Sarenac, Grigori Mints

Publication date: 29 October 2003

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-003-0170-6

zbMATH Keywords

CompletenessEpsilon calculusFinite choice

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic of natural languages (03B65) Classical first-order logic (03B10)

Related Items (2)

The epsilon-reconstruction of theories and scientific structuralism ⋮ Semantics and Proof Theory of the Epsilon Calculus

This page was built for publication: Completeness of indexed \(\varepsilon\)-calculus