Remarks on Stable Formulas in Intuitionistic Logic

• Authors: Alizadeh Majid , Bibak Ali
• Languages of publication: EN

Abstracts

EN

ONNILLI-formulas were introduced in [2] and were shown to be the set of formulas that are preserved under monotonic images of descriptive or Kripke frames. As a result, ONNILLI is a syntactically defined set of formulas that axiomatize all stable logics. In this paper, among other things, by proving the uniform interpolation property for ONNILLI we show that ONNILLI is exactly the set of formulas that are preserved in monotonic bijections of descriptive or (finite) Kripke models. This resolves an open problem in [2].

Keywords

EN

intuitionistic logic; intermediate logic; subframe logics; monotonic maps; stable logics; uniform interpolation property

• Publisher: Uniwersytet Mikołaja Kopernika (Nicolaus Copernicus University in Toruń)
• Journal: Logic and Logical Philosophy
• Year: 2019
• Volume: 28
• Issue: 2
• Pages: 209-222

Dates

published

2019-06-15

Contributors

author

Alizadeh Majid

• School of Mathematics, Statistics and Computer Science College of Science, University of Tehran P.O. Box 14155-6455, Tehran, Iran

author

Bibak Ali

• School of Mathematics, Statistics and Computer Science College of Science, University of Tehran P.O. Box 14155-6455, Tehran, Iran

References

• Bezhanishvili, G., and N. Bezhanishvili, “Locally finite reducts of Heyting algebras and canonical formulas”, Notre Dame J. Formal Logic 58, 1 (2017): 21–25. DOI: http://dx.doi.org/10.1215/00294527-3691563
• Bezhanishvili, N., and D. de Jongh, “Stable formulas in intuitionistic logic”, Notre Dame J. Formal Logic 59, 3 (2018): 307–324. DOI: http://dx.doi.org/10.1215/00294527-2017-0030
• Chagrov, A., and M. Zakharyaschev, Modal Logic, vol. 35 of Oxford Logic Guides, The Clarendon Press, New York, 1995.
• Fine, K., “Logics containing K4. Part II”, Journal of Symbolic Logic 50, 3 (1985): 619–651. DOI: http://dx.doi.org/10.2307/2274318
• Visser, A., D. de Jongh, J. van Benthem, and G. Renardel de Lavalette, “NNIL, a study in intuitionistic logic”, pages 289–326 in Modal Logics and Process Algebra: A Bisimulation Perspective, 1995.
• Zakharyaschev, M., “Syntax and semantics of superintutionistic logics”, Algebra and Logic 28, 4 (1989): 262–282.
• Zakharyaschev, M., “Canonical formulas for K4. Part II: Cofinal subframe logics”, Journal of Symbolic Logic 61, 2 (1996): 421–449. DOI: http://dx.doi.org/10.2307/2275669