scientific article; zbMATH DE number 6107944

zbMath1271.03081MaRDI QIDQ4648720

Mitio Takano

Publication date: 16 November 2012

Full work available at URL: http://www.pphmj.com/abstract/6940.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

cut eliminationsequent calculusintersection of calculi

Mathematics Subject Classification ID

Classical first-order logic (03B10) Cut-elimination and normal-form theorems (03F05)

Related Items (1)

Gentzenization of trilattice logics

This page was built for publication: