Substitution inconsistencies in Transparent Intensional Logic (Q5862004)
From MaRDI portal
scientific article; zbMATH DE number 7483547
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Substitution inconsistencies in Transparent Intensional Logic |
scientific article; zbMATH DE number 7483547 |
Statements
Substitution inconsistencies in Transparent Intensional Logic (English)
0 references
3 March 2022
0 references
compensation principle
0 references
free occurrence of a variable
0 references
collisionless substitution
0 references
Transparent Intensional Logic
0 references
0 references
0 references
