A Strong Completeness Theorem for the Gentzen systems associated with finite algebras

From Mathfuzzlog
Jump to: navigation, search
Authors:
Àngel J. Gil
Jordi Rebagliato
Ventura Verdú
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




Abstract