Remarks on uniform interpolation property

Logic Journal of the IGPL (forthcoming)
  Copy   BIBTEX

Abstract

A logic |$\mathcal{L}$| is said to satisfy the descending chain condition, DCC, if any descending chain of formulas in |$\mathcal{L}$| with ordering induced by |$\vdash _{\mathcal{L}};$| eventually stops. In this short note, we first establish a general theorem, which states that if a propositional logic |$\mathcal{L}$| satisfies both DCC and has the Craig Interpolation Property, CIP, then it satisfies the Uniform Interpolation Property, UIP, as well. As a result, by using the Nishimura lattice, we give a new simply proof of uniform interpolation for |$\textbf{IPL}_2$|⁠, the two-variable fragment of Intuitionistic Propositional Logic; and one-variable uniform interpolation for |$\textbf{IPL}$|⁠. Also, we will see that the modal logics |$\textbf{S}_4$| and |$\textbf{K}_4$| do not satisfy atomic DCC.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,164

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Uniform Lyndon interpolation property in propositional modal logics.Taishi Kurahashi - 2020 - Archive for Mathematical Logic 59 (5-6):659-678.
Interpolation and the Interpretability Logic of PA.Evan Goris - 2006 - Notre Dame Journal of Formal Logic 47 (2):179-195.
Uniform interpolation and sequent calculi in modal logic.Rosalie Iemhoff - 2019 - Archive for Mathematical Logic 58 (1-2):155-181.
A note on the interpolation property in tense logic.Frank Wolter - 1997 - Journal of Philosophical Logic 26 (5):545-551.

Analytics

Added to PP
2023-06-09

Downloads
5 (#1,457,296)

6 months
3 (#857,336)

Historical graph of downloads
How can I increase my downloads?