Intuitionistic Existential Instantiation and Epsilon Symbol (Q5213612)
From MaRDI portal
scientific article; zbMATH DE number 7162487
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Intuitionistic Existential Instantiation and Epsilon Symbol |
scientific article; zbMATH DE number 7162487 |
Statements
Intuitionistic Existential Instantiation and Epsilon Symbol (English)
0 references
4 February 2020
0 references
Hilbert's \(\epsilon\)-symbol
0 references
intuitionistic predicate logic
0 references
existential instantiation
0 references
natural deduction
0 references
sequent calculus
0 references
