ABSOLUTE REALIZABILITY OF PREDICATE FORMULAS (Q3216644)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | ABSOLUTE REALIZABILITY OF PREDICATE FORMULAS |
scientific article |
Statements
ABSOLUTE REALIZABILITY OF PREDICATE FORMULAS (English)
0 references
1984
0 references
generalized predicate
0 references
realizers
0 references
Heyting's predicate calculus
0 references
absolutely realizable formulae
0 references
