Definite Descriptions in Intuitionist Positive Free Logic (Q5013624)
From MaRDI portal
scientific article; zbMATH DE number 7437984
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Definite Descriptions in Intuitionist Positive Free Logic |
scientific article; zbMATH DE number 7437984 |
Statements
Definite Descriptions in Intuitionist Positive Free Logic (English)
0 references
2 December 2021
0 references
free logic
0 references
definite descriptions
0 references
proof theory
0 references
normalisation
0 references
intuitionist logic
0 references
binary quantifiers
0 references
term forming operators
0 references
