Abstract
In this paper we consider a weak Ewald’s intuitionistic tense logic (wIK.t). We study its sequent system and algebraic semantics. We prove the soundness and the completeness results. We also show that the sequent system for wIK.t introduced in the present paper admits cut elimination. Finally we propose a criterion and prove that all extensions of wIK.t satisfying this criterion have cut free sequent systems.
The work of both authors were supported by Key program of Chongqing’s Key Research Institute of Humanities and Social Sciences (No. 14SKB044).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Bull, R.A.: Some modal calculi based on IC. Stud. Logic Found. Math. 40, 3–7 (1965)
Burgess, J.P.: Basic Tense Logic. Springer, Dordrecht (1984)
Buszkowski, W.: Interpolation and FEP for logics of residuated algebras. Logic J. IGPL 19(3), 437–454 (2018)
Chajda, I.: Algebraic axiomatization of tense intuitionistic logic. Cent. Eur. J. Math. 9(4), 1185–1191 (2011)
Ewald, W.: Intuitionistic tense and modal logic. J. Symb. Logic 51(1), 166–179 (1986)
Figallo, A., Pelaitay, G.: An algebraic axiomatization of the Ewald’s intuitionistic tense logic. Soft. Comput. 18(10), 1873–1883 (2014)
Fitting, M.: Nested sequents for intuitionistic logics. Notre Dame J. Formal Logic 1(1), 41–61 (2014)
Galmiche, D., Yakoub, S.: Label-free natural deduction systems for intuitionistic and classical modal logics. J. Appl. Non-Class. Logics 20(4), 373–421 (2010)
Gore, R., Postniece, L., Tiu, A.: Cut-elimination and proof search for bi-intuitionistic tense logic. In: Valentin, S., Beklemishev, L., Valentin, G. (eds.) Advances in Modal Logic, pp. 156–177. College Publications, London (2010)
Simpson, A.K.: The proof theory and semantics of intuitionistic modal logic (1994)
Straßburger, L.: Cut elimination in nested sequents for intuitionistic modal logics. In: Pfenning, F. (ed.) FoSSaCS 2013. LNCS, vol. 7794, pp. 209–224. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-37075-5_14
Versmissen, J.: Grammatical composition: modes, models, modalities: logical and linguistic aspects of multimodal categorial grammars (2001)
Zhe, L.: Non-associative Lambek calculus with modalities: interpolation, complexity and FEP. Logic J. IGPL 22(3), 494–512 (2014)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer-Verlag GmbH Germany, part of Springer Nature
About this paper
Cite this paper
Lin, K., Lin, Z. (2019). The Sequent Systems and Algebraic Semantics of Intuitionistic Tense Logics. In: Blackburn, P., Lorini, E., Guo, M. (eds) Logic, Rationality, and Interaction. LORI 2019. Lecture Notes in Computer Science(), vol 11813. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-60292-8_11
Download citation
DOI: https://doi.org/10.1007/978-3-662-60292-8_11
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-60291-1
Online ISBN: 978-3-662-60292-8
eBook Packages: Computer ScienceComputer Science (R0)