@misc{indiciae27905a898a8a, title = {Combining intermediate propositional logics with classical logic}, author = {Steffen Lewitzka}, year = {2015}, url = {https://arxiv.org/abs/1510.05326}, note = {Source identifier: 1510.05326} }