A system of formal logic without an analogue to the Curry \(W\) operator. (Q2610750)
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: A system of formal logic without an analogue to the Curry \(W\) operator. |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A system of formal logic without an analogue to the Curry \(W\) operator. |
scientific article |
Statements
A system of formal logic without an analogue to the Curry \(W\) operator. (English)
0 references
1936
0 references
Verf. entwickelt hier ein System der kombinatorischen Logik, in dem die sonst auftretenden Widersprüche dadurch vermieden werden, daß der \textit{Curry}sche \(W\)-Operator nicht gebraucht wird; d. h. wenn \(\varPhi\) eine Aussagenfunktion ist, so kann nicht immer eine andere Aussagenfunktion \(\varPsi\) gebildet werden, so daß für alle \(x\) \(\varPhi \,(x, \,x)\) und \(\varPsi \,(x)\) äquivalente Aussagen sind.
0 references
