Intuitionistic ϵ‐ and τ‐calculi (Q4857864)
From MaRDI portal
scientific article; zbMATH DE number 824546
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Intuitionistic ϵ‐ and τ‐calculi |
scientific article; zbMATH DE number 824546 |
Statements
Intuitionistic ϵ‐ and τ‐calculi (English)
0 references
13 May 1996
0 references
\(\varepsilon\)-calculus
0 references
intuitionistic logic
0 references
\(\tau\)-calculus
0 references
first order intuitionistic predicate calculus
0 references
semantics
0 references
