Substitution inconsistencies in transparent intensional logic (Q5862004)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Substitution inconsistencies in transparent intensional logic |
scientific article; zbMATH DE number 7483547
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.8015047311782837
0 references
0.7748356461524963
0 references
0.7459195852279663
0 references
