scientific article

zbMath1119.03331MaRDI QIDQ3433181

Alexej P. Pynko

Publication date: 27 April 2007

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

zbMATH Keywords

linear intermediate logic

Mathematics Subject Classification ID

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

This page was built for publication: