Correction to ``Survey of generalizations of Urquhart semantics'' (Q1115418)
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: Correction to ``Survey of generalizations of Urquhart semantics |
scientific article; zbMATH DE number 4085620
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Correction to ``Survey of generalizations of Urquhart semantics'' |
scientific article; zbMATH DE number 4085620 |
Statements
Correction to ``Survey of generalizations of Urquhart semantics'' (English)
0 references
1989
0 references
Correction to the author's paper in ibid. 28, 220-237 (1987; Zbl 0648.03007).
0 references
relevant logics
0 references
semilattice semantics
0 references
semilattice logic
0 references
relevant semantics
0 references
BCK logic
0 references
contractionless logics
0 references
relevant system RW
0 references
Urquhart semantics
0 references
completeness
0 references
Gentzenization
0 references
Gentzen system
0 references
