A separable axiomatization of the Gabbay–de Jongh logics

DOI10.1093/jigpal/jzx001zbMath1405.03070MaRDI 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

separability; propositional logic; algebra; intermediate logic; fragment

Mathematics Subject Classification ID

03B05: Classical propositional logic

03B20: Subsystems of classical logic (including intuitionistic logic)

03B55: Intermediate logics