A separable axiomatization of the Gabbay-de Jongh logics

作者：Yokomizo Kyohei^*

来源：Logic Journal of the IGPL, 2017, 25(3): 365-380.

DOI：10.1093/jigpal/jzx001

• Propositional logic
• intermediate logic
• algebra
• fragment
• separability

We give a separable axiomatization of the Gabbay-de Jongh logic which is different from the Gabbay and de Jongh's one by using an algebraic method with Jankov's characteristic formula (Jankov, 1969, USSR-Izvestiya, 3 17-35). We also show that a variant of the Gabbay and de Jongh's well-known axiomatization is not separable.

• 出版日期2017-6