On certain normalizable natural deduction formulations of some propositional intermediate logics

DOI10.1305/ndjfl/1093638020zbMath0668.03010OpenAlexW2045479711MaRDI QIDQ1117920

Branislav R. Boričić

Publication date: 1988

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093638020

zbMATH Keywords

Gentzen-type formulationsnatural deduction systemsintermediate propositional logics

Mathematics Subject Classification ID

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

Related Items (2)

Harmony in multiple-conclusion natural-deduction ⋮ An alternative normalization of the implicative fragment of classical logic

This page was built for publication: On certain normalizable natural deduction formulations of some propositional intermediate logics