Paraconsistent intelligent systems of computer logics (Q4007390): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
(3 intermediate revisions by 3 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 | |||
links / mardi / name | links / mardi / name | ||
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