Abstract
In the present paper, we endow semi De Morgan logic and a family of its axiomatic extensions with proper multi-type display calculi which are sound, complete, conservative, and enjoy cut elimination and subformula property. Our proposal builds on an algebraic analysis of the variety of semi De Morgan algebras, and applies the guidelines of the multi-type methodology in the design of display calculi.
Similar content being viewed by others
References
Arieli, O., and A. Avron, Reasoning with logical bilattices. Journal of Logic, Language and Information 5(1):25–63, 1996.
Bílková, M., G. Greco, A. Palmigiano, A. Tzimoulis, and N. Wijnberg, The logic of resources and capabilities. Review of Symbolic Logic 11(2):371–410, 2018.
Birkhoff, G., and J. D. Lipson. Heterogeneous algebras. Journal of Combinatorial Theory 8(1):115–133, 1970.
Celani, S. A., Distributive lattices with a negation operator. Mathematical Logic Quarterly 45(2):207–218, 1999.
Celani, S. A. Representation for some algebras with a negation operator. Contributions to Discrete Mathematics 2(2):205–213, 2007.
Chen, J., G. Greco, A. Palmigiano, and A. Tzimoulis. Non normal logics: semantic analysis and proof theory. In International Workshop on Logic, Language, Information, and Computation, pp. 99–118. Springer, Berlin, 2019.
Ciabattoni, A., and R. Ramanayake, Power and limits of structural display rules. ACM Transactions on Computational Logic (TOCL) 17(3):1–39, 2016.
Conradie, W., and A. Palmigiano. Algorithmic correspondence and canonicity for non-distributive logics. Annals of Pure and Applied Logic 170(9):923–974, 2019.
Frittella, S., G. Greco, A. Kurz, and A. Palmigiano, Multi-type display calculus for propositional dynamic logic. Journal of Logic and Computation 26(6):2067–2104, 2016.
Frittella, S., G. Greco, A. Kurz, A. Palmigiano, and V. Sikimić, Multi-type sequent calculi. In A. Indrzejczak, J. Kaczmarek, and M. Zawidski, (eds.), Proceedings Trends in Logic XIII, volume 13, 2014, pp. 81–93.
Frittella, S., G. Greco, A. Kurz, A. Palmigiano, and V. Sikimić, A multi-type display calculus for dynamic epistemic logic. Journal of Logic and Computation 26(6):2017–2065, 2016.
Frittella, S., G. Greco, A. Palmigiano, and F. Yang, A multi-type calculus for inquisitive logic. In J. Väänänen, Å. Hirvonen, and R. de Queiroz, (eds.), Logic, Language, Information, and Computation, WoLLIC 2016, volume 9803 of LNCS Springer, Berlin, 2016 pp. 215–233.
Gehrke, M., and J. Harding, Bounded lattice expansions. Journal of Algebra 238(1):345–371, 2001.
Gehrke, M., and B. Jónsson, Monotone bouded distributive lattice expansions. Mathematica Japonicae 52(2):197–213, 2000.
Gehrke, M., and B. Jónsson, Bounded distributive lattice expansions. Mathematica Scandinavica, 2004, pp. 13–45.
Gehrke, M., H. Nagahashi, and Y. Venema, A Sahlqvist theorem for distributive modal logic. Annals of Pure and Applied Logic 131(1-3):65–102, 2005.
Greco, G., P. Jipsen, K. Manoorkar, A. Palmigiano, and A. Tzimoulis. Logics for rough concept analysis. In A. Khan and A. Manuel, (eds.), Logic and Its Applications, ICLA 2019, volume 11600 of LNCS. Springer, Berlin, 2019 pp. 144–159.
Greco, G., A. Kurz, and A. Palmigiano, Dynamic epistemic logic displayed. In H. Huang, D. Grossi, and O. Roy, (eds.), Logic, Rationality and Interaction, LORI 2013, volume 8196 of LNCS, 2013, pp. 135–148.
Greco, G., F. Liang, K. Manoorkar, and A. Palmigiano, Proper multi-type display calculi for rough algebras. In 13th Workshop on Logical and Semantic Frameworks with Applications, 2019.
Greco, G., F. Liang, M. A. Moshier, and A. Palmigiano, Multi-type display calculus for semi De Morgan logic. In Logic, Language, Information, and Computation, WoLLIC 2017, volume 10388 of LNCS. Springer, Berlin, 2017 pp. 199–215.
Greco, G., F. Liang, A. Palmigiano, and U. Rivieccio, Bilattice logic properly displayed. Fuzzy Sets and Systems 363:138–155, 2019.
Greco, G., M. Ma, A. Palmigiano, A. Tzimoulis, and Z. Zhao, Unified correspondence as a proof-theoretic tool. Journal of Logic and Computation 28(7):1367–1442, 2016.
Greco, G., and A. Palmigiano, Lattice logic properly displayed. In Logic, Language, Information, and Computation, WoLLIC 2017, volume 10388 of LNCS. Springer, Berlin, 2017, pp. 153–169.
Greco, G., and A. Palmigiano, Linear logic properly displayed. Submitted, arXiv:1611.04181.
Hobby, D., Semi-De Morgan algebras. Studia Logica 56(1-2):151–183, 1996.
Kracht, M., Power and weakness of the modal display calculus. Proof Theory of Modal Logic, 1996, pp. 93–121.
Ma, M., and F. Liang, Sequent calculi for semi-De Morgan and De Morgan algebras. Studia Logica 106(3):565–593, 2018.
Palma, C., Semi De Morgan Algebras. PhD thesis, University of Lisbon, 2005.
Palmigiano, A., S. Sourabh, and Z. Zhao, Sahlqvist theory for impossible worlds. Journal of Logic and Computation 27(3):775–816, 2017.
Priest, G., Paraconsistent logic. In Handbook of philosophical logic. Springer, 2002 pp. 287–393.
Sankappanavar, H. P., Semi-De Morgan algebras. The Journal of Symbolic Logic 52(03):712–724, 1987.
Wansing, H., Displaying Modal Logic. Kluwer, 1998.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Greco, G., Liang, F., Moshier, M.A. et al. Semi De Morgan Logic Properly Displayed. Stud Logica 109, 1–45 (2021). https://doi.org/10.1007/s11225-020-09898-y
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-020-09898-y