scientific article
From MaRDI portal
Publication:2721194
zbMath0963.03017MaRDI QIDQ2721194
Agata Ciabattoni, Mauro Ferrari
Publication date: 1 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Cut-elimination and normal-form theorems (03F05) Intermediate logics (03B55)
Related Items (4)
Linear Nested Sequents, 2-Sequents and Hypersequents ⋮ LINEAR TIME IN HYPERSEQUENT FRAMEWORK ⋮ Intermediate logics admitting a structural hypersequent calculus ⋮ Hypersequent and display calculi -- a unified perspective
This page was built for publication:
