On Normalizing Disjunctive Intermediate Logics

DOI10.1007/978-3-319-24756-4_12zbMath1418.03131OpenAlexW138621896MaRDI QIDQ5224781

Jonathan P. Seldin

Publication date: 24 July 2019

Published in: Studies in Universal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-24756-4_12

zbMATH Keywords

normalizationintermediate logic

Mathematics Subject Classification ID

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

This page was built for publication: On Normalizing Disjunctive Intermediate Logics