scientific article
From MaRDI portal
Publication:3322078
zbMath0537.03016MaRDI QIDQ3322078
No author found.
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
interpolation theoremnormal form theoremnatural deduction systemslogic of constant domainsSchütte system
Cut-elimination and normal-form theorems (03F05) Interpolation, preservation, definability (03C40) Intermediate logics (03B55)
This page was built for publication:
