A Strong Completeness Theorem for the Gentzen systems associated with finite algebras
DOI10.1080/11663081.1999.10510956zbMath1033.03014OpenAlexW2008844842MaRDI QIDQ4443419
Ventura Verdú, Angel J. Gil, Jordi Rebagliato
Publication date: 13 January 2004
Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/2445/152101
completenesscut eliminationsequent calculusdeduction theoremmany-valued logicfinite algebrasconsequence relationsGentzen systems
Cut-elimination and normal-form theorems (03F05) Many-valued logic (03B50) Proof theory in general (including proof-theoretic semantics) (03F03) Abstract deductive systems (03B22)
Related Items
Uses Software
Cites Work
This page was built for publication: A Strong Completeness Theorem for the Gentzen systems associated with finite algebras