Abstract
Non-classical negations may fail to be contradictory-forming operators in more than one way, and they often fail also to respect fundamental meta-logical properties such as the replacement property. Such drawbacks are witnessed by intricate semantics and proof systems, whose philosophical interpretations and computational properties are found wanting. In this paper we investigate congruential non-classical negations that live inside very natural systems of normal modal logics over complete distributive lattices; these logics are further enriched by adjustment connectives that may be used for handling reasoning under uncertainty caused by inconsistency or undeterminedness. Using such straightforward semantics, we study the classes of frames characterized by seriality, reflexivity, functionality, symmetry, transitivity, and some combinations thereof, and discuss what they reveal about sub-classical properties of negation. To the logics thereby characterized we apply a general mechanism that allows one to endow them with analytic ordinary sequent systems, most of which are even cut-free. We also investigate the exact circumstances that allow for classical negation to be explicitly defined inside our logics.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
Change history
29 November 2017
In the original publication, the corresponding author was indicated incorrectly. The correct corresponding author of the article should be Ori Lahav. The original article has been updated accordingly.
29 November 2017
In the original publication, the corresponding author was indicated incorrectly. The correct corresponding author of the article should be Ori Lahav. The original article has been updated accordingly.
29 November 2017
In the original publication, the corresponding author was indicated incorrectly. The correct corresponding author of the article should be Ori Lahav. The original article has been updated accordingly.
References
Avron, A., Ciabattoni, A., Zamansky, A.: Canonical calculi: invertibility, axiom expansion and (non)-determinism. In: Proceedings of the Fourth International Computer Science Symposium in Russia on Computer Science—Theory and Applications, CSR’09, pp. 26–37. Springer, Berlin (2009)
Avron, A., Konikowska, B., Zamansky, A.: Efficient reasoning with inconsistent information using C-systems. Inf. Sci. 296, 219–236 (2015)
Avron, A., Zamansky, A.: A paraconsistent view on \(B\) and \(S5\). In: Beklemishev, L., Demri, S., Máté, A. (eds.) Advances in Modal Logic, vol. 11, pp. 21–37. College Publications, London (2016)
Béziau, J.-Y.: Paraconsistent logic from a modal viewpoint. J. Appl. Log. 3, 7–14 (2005)
Carnielli, W.A., Marcos, J.: A taxonomy of C-systems. In: Carnielli, W.A., Coniglio, M.E., D’Ottaviano, I.M.L. (eds.) Paraconsistency: The Logical Way to the Inconsistent, Vol. 228 of Lecture Notes in Pure and Applied Mathematics, pp. 1–94. Marcel Dekker, New York (2002)
Celani, S., Jansana, R.: Priestley duality, a Sahlqvist theorem and a Goldblatt–Thomason theorem for positive modal logic. Log. J. IGPL 7(6), 683–715 (1999)
da Costa, N.C.A.: Calculs propositionnels pour les systèmes formels inconsistants. Comptes Rendus Hebdomadaires des Séances de l’Académie des Sciences, Séries A-B 257, 3790–3793 (1963)
Dodó, A., Marcos, J.: Negative modalities, consistency and determinedness. Electron. Notes Theor. Comput. Sci. 300, 21–45 (2014)
Došen, K.: Negative modal operators in intuitionistic logic. Publications de L’Institut Mathématique (Beograd) (N.S.) 35(49), 3–14 (1984)
Dunn, J.M.: Positive modal logic. Studia Log. 55(2), 301–317 (1995)
Dunn, J.M., Zhou, C.: Negation in the context of Gaggle Theory. Studia Log. 80(2/3), 235–264 (2005)
Fitting, M.: Proof Methods for Modal and Intuitionistic Logics. Springer, Berlin (1983)
Gentzen, G.: Untersuchungen über das logische Schließen I, 1934 An English translation appears in ‘The Collected Works of Gerhard Gentzen, edited by E. Szabo, North-Holland (1969)
Greco, G., Ma, M., Palmigiano, A., Tzimoulis, A., Zhao, Z.: Unified correspondence as a proof-theoretic tool. J. Log. Comput. exw022 (2016). doi:10.1093/logcom/exw022
Hartonas, C.: Modal and temporal extensions of non-distributive propositional logics. Log. J. IGPL 24, 156–185 (2016)
Humberstone, L.: Contrariety and subcontrariety: the anatomy of negation (with special reference to an example of J.-Y. Béziau). Theoria 71(3), 241–262 (2005)
Humberstone, L.: Sentence connectives in formal logic. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy, 2015th edn. Fall, Cambridge (2015)
Indrzejczak, A.: Natural Deduction, Hybrid Systems and Modal Logics. Springer, Berlin (2010)
Jaśkowski, S.: A propositional calculus for inconsistent deductive systems (in Polish). Studia Societatis Scientiarum Torunensis, Sectio A, 5, 57–77 (1948). Translated into English in Studia Logica, 24, 143–157 (1967), and in Logic and Logical Philosophy 7, 35–56 (1999)
Kawai, H.: Sequential calculus for a first order infinitary temporal logic. Math. Log. Q. 33(5), 423–432 (1987)
Lahav, O., Avron, A.: A unified semantic framework for fully structural propositional sequent systems. ACM Trans. Comput. Log. 14(4), 27:1–27:33 (2013)
Lahav, O., Marcos, J., Zohar, Y.: It ain’t necessarily so: basic sequent systems for negative modalities. In: Beklemishev, L., Demri, S., Máté, A. (eds.) Advances in Modal Logic, vol. 11, pp. 449–468. College Publications, London (2016)
Lahav, O., Zohar, Y.: SAT-based decision procedure for analytic pure sequent calculi. In: Demri, S., Kapur, D., Weidenbach, C. (eds.) Automated Reasoning, Volume 8562 of Lecture Notes in Computer Science, pp. 76–90. Springer, Berlin (2014)
Lavendhomme, R., Lucas, T.: Sequent calculi and decision procedures for weak modal systems. Studia Log. 66(1), 121–145 (2000)
Marcos, J.: Modality and paraconsistency. In: Bilkova, M., Behounek, L. (eds.) The Logica Yearbook 2004, pp. 213–222. Filosofia, Vaudreuil-Dorion (2005)
Marcos, J.: Nearly every normal modal logic is paranormal. Logique et Analyse (N.S.) 48(189/192), 279–300 (2005)
Marcos, J.: On negation: pure local rules. J. Appl. Log. 3(1), 185–219 (2005)
Nelson, D.: Negation and separation of concepts in constructive systems. In: Heyting, A. (ed.) Constructivity in Mathematics, Studies in Logic and the Foundations of Mathematics, pp. 208–225. North-Holland, Amsterdam (1959)
Onishi, T.: Substructural negations. Australas. J. Log. 12(4), 177–203 (2015) Article no. 1
Poggiolesi, F.: Gentzen Calculi for Modal Propositional Logic. Springer, Berlin (2010)
Prior, A.: Past, Present and Future. Oxford University Press, Oxford (1967)
Rauszer, C.: An algebraic and Kripke-style approach to a certain extension of intuitionistic logic. Dissertationes Mathematicae, vol. CLXVII. Instytut Matematyczny Polskiej Akademii Nauk, Warsaw (1980)
Restall, G.: Combining possibilities and negations. Studia Log. 59(1), 121–141 (1997)
Ripley, D.W.: Negation in Natural Language. Ph.D. thesis, University of North Carolina at Chapel Hill (2009)
Schütte, K.: Beweistheorie. Springer, Berlin (1960)
Segerberg, K.: An Essay in Classical Modal Logic. Uppsala University, Uppsala (1971)
Takano, M.: A modified subformula property for the modal logics \(K5\) and \(K5D\). Bull. Sect. Log. 30(2), 115–123 (2001)
Vakarelov, D.: Consistency, completeness and negation. In: Priest, G., Sylvan, R., Norman, J. (eds.) Paraconsistent Logic: Essays on the Inconsistent, pp. 328–363. Philosophia Verlag, Munchen (1989)
Wansing, H.: Sequent systems for modal logics. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 8, 2nd edn, pp. 61–145. Springer, Berlin (2002)
Wójcicki, R.: Theory of Logical Calculi. Kluwer, Dordrecht (1988)
Acknowledgements
Open access funding provided by Max Planck Society. The authors acknowledge partial support by CNPq, by The Israel Science Foundation (Grant No. 817-15), by the Marie Curie project GeTFun (PIRSES-GA-2012-318986) funded by EU-FP7, and by the Humboldt Foundation. They also take the chance to thank Elaine Pimentel, Heinrich Wansing, Alessandra Palmigiano, Dorota Leszczyńska-Jasion, and two anonymous referees for their comments on an earlier incarnation of this manuscript.
Author information
Authors and Affiliations
Corresponding author
Additional information
A preliminary and abbreviated version of the results in this paper was presented at the 11th International Conference on Advances in Modal Logic (cf. [22]).
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Lahav, O., Marcos, J. & Zohar, Y. Sequent Systems for Negative Modalities. Log. Univers. 11, 345–382 (2017). https://doi.org/10.1007/s11787-017-0175-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11787-017-0175-2