Issue navigation
Volume 25, Issue 3, June 2017
Original Articles
Cut-elimination and deductive polarization in complementary classical logic
Logic Journal of the IGPL, Volume 25, Issue 3, June 2017, Pages 273–282, https://doi.org/10.1093/jigpal/jzx006
Decision and optimization problems in the unreliable-circuit logic
Logic Journal of the IGPL, Volume 25, Issue 3, June 2017, Pages 283–308, https://doi.org/10.1093/jigpal/jzx005
Epistemic extensions of combined classical and intuitionistic propositional logic
Logic Journal of the IGPL, Volume 25, Issue 3, June 2017, Pages 309–324, https://doi.org/10.1093/jigpal/jzx004
Minimizing disjunctive normal forms of pure first-order logic
Logic Journal of the IGPL, Volume 25, Issue 3, June 2017, Pages 325–347, https://doi.org/10.1093/jigpal/jzx003
Relatively compatible operations in BCK-algebras and some related algebras
Logic Journal of the IGPL, Volume 25, Issue 3, June 2017, Pages 348–364, https://doi.org/10.1093/jigpal/jzx002
A separable axiomatization of the Gabbay–de Jongh logics
Logic Journal of the IGPL, Volume 25, Issue 3, June 2017, Pages 365–380, https://doi.org/10.1093/jigpal/jzx001