×

Semi De Morgan logic properly displayed. (English) Zbl 07339949

Summary: 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.

MSC:

03-XX Mathematical logic and foundations
PDFBibTeX XMLCite
Full Text: DOI arXiv

References:

[1] Arieli, O.; Avron, A., Reasoning with logical bilattices, Journal of Logic, Language and Information, 5, 1, 25-63 (1996) · Zbl 0851.03017 · doi:10.1007/BF00215626
[2] Bílková, M.; Greco, G.; Palmigiano, A.; Tzimoulis, A.; Wijnberg, N., The logic of resources and capabilities, Review of Symbolic Logic, 11, 2, 371-410 (2018) · Zbl 1506.03065 · doi:10.1017/S175502031700034X
[3] Birkhoff, G.; Lipson, JD, Heterogeneous algebras, Journal of Combinatorial Theory, 8, 1, 115-133 (1970) · Zbl 0211.02003 · doi:10.1016/S0021-9800(70)80014-X
[4] Celani, SA, Distributive lattices with a negation operator, Mathematical Logic Quarterly, 45, 2, 207-218 (1999) · Zbl 0927.06008 · doi:10.1002/malq.19990450206
[5] Celani, SA, Representation for some algebras with a negation operator, Contributions to Discrete Mathematics, 2, 2, 205-213 (2007) · Zbl 1187.06008
[6] 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. · Zbl 07176921
[7] Ciabattoni, A.; Ramanayake, R., Power and limits of structural display rules, ACM Transactions on Computational Logic (TOCL), 17, 3, 1-39 (2016) · Zbl 1407.03067 · doi:10.1145/2874775
[8] Conradie, W.; Palmigiano, A., Algorithmic correspondence and canonicity for non-distributive logics, Annals of Pure and Applied Logic, 170, 9, 923-974 (2019) · Zbl 1477.03046 · doi:10.1016/j.apal.2019.04.003
[9] Frittella, S.; Greco, G.; Kurz, A.; Palmigiano, A., Multi-type display calculus for propositional dynamic logic, Journal of Logic and Computation, 26, 6, 2067-2104 (2016) · Zbl 1403.03025 · doi:10.1093/logcom/exu064
[10] 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. · Zbl 1403.03027
[11] Frittella, S.; Greco, G.; Kurz, A.; Palmigiano, A.; Sikimić, V., A multi-type display calculus for dynamic epistemic logic, Journal of Logic and Computation, 26, 6, 2017-2065 (2016) · Zbl 1403.03027 · doi:10.1093/logcom/exu068
[12] 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. · Zbl 1429.03128
[13] Gehrke, M.; Harding, J., Bounded lattice expansions, Journal of Algebra, 238, 1, 345-371 (2001) · Zbl 0988.06003 · doi:10.1006/jabr.2000.8622
[14] Gehrke, M.; Jónsson, B., Monotone bouded distributive lattice expansions, Mathematica Japonicae, 52, 2, 197-213 (2000) · Zbl 0972.06005
[15] Gehrke, M., and B. Jónsson, Bounded distributive lattice expansions. Mathematica Scandinavica, 2004, pp. 13-45. · Zbl 1077.06008
[16] Gehrke, M.; Nagahashi, H.; Venema, Y., A Sahlqvist theorem for distributive modal logic, Annals of Pure and Applied Logic, 131, 1-3, 65-102 (2005) · Zbl 1077.03009 · doi:10.1016/j.apal.2004.04.007
[17] 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. · Zbl 07150816
[18] 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. · Zbl 1407.03019
[19] 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. · Zbl 1434.03147
[20] 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. · Zbl 1496.03258
[21] Greco, G.; Liang, F.; Palmigiano, A.; Rivieccio, U., Bilattice logic properly displayed, Fuzzy Sets and Systems, 363, 138-155 (2019) · Zbl 1423.03079 · doi:10.1016/j.fss.2018.05.007
[22] Greco, G.; Ma, M.; Palmigiano, A.; Tzimoulis, A.; Zhao, Z., Unified correspondence as a proof-theoretic tool, Journal of Logic and Computation, 28, 7, 1367-1442 (2016) · Zbl 1444.03055
[23] 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. · Zbl 1496.03103
[24] Greco, G., and A. Palmigiano, Linear logic properly displayed. Submitted, arXiv:1611.04181. · Zbl 1496.03103
[25] Hobby, D., Semi-De Morgan algebras, Studia Logica, 56, 1-2, 151-183 (1996) · Zbl 0854.06010 · doi:10.1007/BF00370145
[26] Kracht, M., Power and weakness of the modal display calculus. Proof Theory of Modal Logic, 1996, pp. 93-121. · Zbl 0864.03014
[27] Ma, M.; Liang, F., Sequent calculi for semi-De Morgan and De Morgan algebras, Studia Logica, 106, 3, 565-593 (2018) · Zbl 1437.03181 · doi:10.1007/s11225-017-9755-7
[28] Palma, C., Semi De Morgan Algebras. PhD thesis, University of Lisbon, 2005.
[29] Palmigiano, A.; Sourabh, S.; Zhao, Z., Sahlqvist theory for impossible worlds, Journal of Logic and Computation, 27, 3, 775-816 (2017) · Zbl 1444.03071 · doi:10.1093/logcom/exv041
[30] Priest, G., Paraconsistent logic. In Handbook of philosophical logic. Springer, 2002 pp. 287-393.
[31] Sankappanavar, HP, Semi-De Morgan algebras, The Journal of Symbolic Logic, 52, 3, 712-724 (1987) · Zbl 0628.06011 · doi:10.1017/S0022481200029716
[32] Wansing, H., Displaying Modal Logic (1998), Alphen aan den Rijn: Kluwer, Alphen aan den Rijn · Zbl 0955.03006 · doi:10.1007/978-94-017-1280-4
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.