Intuitionistic sequent calculi for finitely many-valued logics

DOI10.1093/JIGPAL/9.6.793zbMath1013.03019OpenAlexW2149581652MaRDI QIDQ3147361

Philippe Curmin, Eugenia Reznik

Publication date: 21 June 2003

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/9.6.793

zbMATH Keywords

cut eliminationsequent calculusKripke modelsfinitely many-valued logics

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Many-valued logic (03B50)

Related Items (1)

A 4-valued framework encompassing intuitionistic and classical logic

This page was built for publication: Intuitionistic sequent calculi for finitely many-valued logics