Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic (Q5126200)
From MaRDI portal
scientific article; zbMATH DE number 7261562
Language | Label | Description | Also known as |
---|---|---|---|
English | Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic |
scientific article; zbMATH DE number 7261562 |
Statements
Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic (English)
0 references
15 October 2020
0 references
definite descriptions
0 references
binary quantifier
0 references
term forming operator
0 references
Lambert's law
0 references
intuitionist negative free logic
0 references
natural deduction
0 references