On normalizing disjunctive intermediate logics

DOI10.1007/978-3-319-24756-4_12MaRDI QIDQ5224781zbMATH OpenOpenAlexFDO

Authors 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

intermediate logicnormalization

Mathematics Subject Classification ID

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

Recommendations

• On certain normalizable natural deduction formulations of some propositional intermediate logics
• Normalization and excluded middle. I
• Intermediate logics with the same disjunctionless fragment as intuitionistic logic
• scientific article; zbMATH DE number 5371703
• Normalisation for some quite interesting many-valued logics

Cited in

(6)

• On the proof theory of the intermediate logic MH
• On certain normalizable natural deduction formulations of some propositional intermediate logics
• Normalization and excluded middle. I
• Normalisation for some quite interesting many-valued logics
• scientific article; zbMATH DE number 7599931 (Why is no real title available?)
• scientific article; zbMATH DE number 5371703 (Why is no real title available?)

This page was built for publication: On normalizing disjunctive intermediate logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5224781)