On a conservative extension argument of Dana Scott

DOI10.1093/JIGPAL/JZQ046zbMath1216.03036OpenAlexW2135128099MaRDI QIDQ3081251

Lloyd Humberstone

Publication date: 7 March 2011

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzq046

zbMATH Keywords

conservative extensionaxiomatization of implication

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55)

Related Items (5)

THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY ⋮ Prior’s OIC nonconservativity example revisited ⋮ Eliminating disjunctions by disjunction elimination ⋮ ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION ⋮ Replacement in logic

This page was built for publication: On a conservative extension argument of Dana Scott