Abstract
A many-valued modal logic, called linear abelian modal logic \(\rm {\mathbf{LK(A)}}\) is introduced as an extension of the abelian modal logic \(\rm \mathbf{K(A)}\). Abelian modal logic \(\rm \mathbf{K(A)}\) is the minimal modal extension of the logic of lattice-ordered abelian groups. The logic \(\rm \mathbf{LK(A)}\) is axiomatized by extending \(\rm \mathbf{K(A)}\) with the modal axiom schemas \(\Box(\varphi\vee\psi)\rightarrow(\Box\varphi\vee\Box\psi)\) and \((\Box\varphi\wedge\Box\psi)\rightarrow\Box(\varphi\wedge\psi)\). Completeness theorem with respect to algebraic semantics and a hypersequent calculus admitting cut-elimination are established. Finally, the correspondence between hypersequent calculi and axiomatization is investigated.
Publisher
Uniwersytet Lodzki (University of Lodz)
Reference24 articles.
1. A. Avron, Hypersequents, logical consequence and intermediate logics for concurrency, Annals of Mathematics and Artificial Intelligence, vol. 4(3) (1991), pp. 225–248, DOI: https://doi.org/10.1007/BF01531058.
2. F. Baader, S. Borgwardt, R. Penaloza, Decidability and complexity of fuzzy description logics, KI-Künstliche Intelligenz, vol. 31(1) (2017), pp. 85–90, DOI: https://doi.org/10.1007/s13218-016-0459-3.
3. S. Baratella, Continuous propositional modal logic, Journal of Applied Non-Classical Logics, vol. 28(4) (2018), pp. 297–312, DOI: https://doi.org/10.1080/11663081.2018.1468677.
4. E. Casari, Comparative logics and Abelian l-groups, [in:] Studies in Logic and the Foundations of Mathematics, vol. 127, Elsevier (1989), pp. 161–190, DOI: https://doi.org/https://doi.org/10.1016/S0049-237X(08)70269-6.
5. A. Ciabattoni, G. Metcalfe, F. Montagna, Adding modalities to MTL and its extensions, [in:] Proceedings of the Linz Symposium, vol. 2005, Citeseer (2005).