A Strong Completeness Theorem for the Gentzen systems associated with finite algebras
From Mathfuzzlog
| Authors: |
|
|||
| Title: | A Strong Completeness Theorem for the Gentzen systems associated with finite algebras | |||
| Journal: | Journal of Applied Non-Classical Logics | |||
| Volume | 9 | |||
| Number | 1 | |||
| Pages: | 473-500 | |||
| Year: | 1999 |
