A separable axiomatization of the Gabbay–de Jongh logics

DOI10.1093/JIGPAL/JZX001zbMath1405.03070OpenAlexW2603301576MaRDI QIDQ4644492

Kyohei Yokomizo

Publication date: 8 January 2019

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

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

zbMATH Keywords

separabilitypropositional logicalgebraintermediate logicfragment

Mathematics Subject Classification ID

Classical propositional logic (03B05) Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)

This page was built for publication: A separable axiomatization of the Gabbay–de Jongh logics