Decision procedure of some relevant logics: a constructive perspective (Q3647218)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Decision procedure of some relevant logics: a constructive perspective |
scientific article |
Statements
Decision procedure of some relevant logics: a constructive perspective (English)
0 references
30 November 2009
0 references
constructivity
0 references
decision procedure
0 references
Hilbert basis
0 references
polynomial rings
0 references
ideal membership problem
0 references
word problem
0 references
Kripke's lemma
0 references
Dickson's lemma
0 references
Meyer's lemma
0 references
0 references
