scientific article; zbMATH DE number 4195933

zbMath0725.03034MaRDI QIDQ5202651

Giovanna Corsi

Publication date: 1988

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

zbMATH Keywords

cut eliminationsequent calculusexistence predicateDummett's axiomconnected Kripke models with nested domains

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Intermediate logics (03B55)

Related Items

On finite linear intermediate predicate logics