Paraconsistent intelligent systems of computer logics (Q4007390): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set OpenAlex properties. |
||
| (2 intermediate revisions by 2 users not shown) | |||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Consistent extensions of pure combinatory logic / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4744244 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3343962 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: A conservative extension of a formal arithmetic / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3660888 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3812199 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3962956 / rank | |||
Normal rank | |||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1007/bf01068641 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2041775475 / rank | |||
Normal rank | |||
Latest revision as of 12:08, 30 July 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Paraconsistent intelligent systems of computer logics |
scientific article |
Statements
Paraconsistent intelligent systems of computer logics (English)
0 references
27 September 1992
0 references
applicative computation systems
0 references
Gentzen-deductive extensions of Church's \(\lambda\)-conversion calculi
0 references
bounded cut rule
0 references
Schönfinkel-Curry pure combinatory logic
0 references
