Epsilon Calculi

DOI10.1093/JIGPAL/JZL023MaRDI QIDQ3433105zbMATH OpenOpenAlexFDO

Authors Hartley Slater

Publication date 19 April 2007

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzl023

zbMATH Keywords

anaphoric cross-referencearithmeticepsilon termsintuitionismparadoxes

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Structure of proofs (03F07) First-order arithmetic and fragments (03F30) Intuitionistic mathematics (03F55)

Recommendations

• Computer Science Logic
• scientific article; zbMATH DE number 1140575
• Epsilon constants and orthogonal representations
• Epsilon efficiency
• The epsilon calculus and Herbrand complexity
• Epsilon-solutions and epsilon-supports
• The epsilon algorithm and related topics
• Euler-type formulas
• scientific article; zbMATH DE number 1452547

Cited in

(13)

• Completeness of indexed \(\varepsilon\)-calculus
• -style (of) semantics. An alternative to set-theoretic modelling
• scientific article; zbMATH DE number 1817576 (Why is no real title available?)
• scientific article; zbMATH DE number 14545 (Why is no real title available?)
• scientific article; zbMATH DE number 1140575 (Why is no real title available?)
• scientific article; zbMATH DE number 221549 (Why is no real title available?)
• Intuitionistic ϵ‐ and τ‐calculi
• EPSILON THEOREMS IN INTERMEDIATE LOGICS
• Semantics and proof theory of the epsilon calculus
• A categorical interpretation of the intuitionistic, typed, first order logic with Hilbert's -terms
• Computer Science Logic
• scientific article; zbMATH DE number 970634 (Why is no real title available?)
• [Russian Text Ignored]

This page was built for publication: Epsilon Calculi

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3433105)