Interpolation Property on Visser's Formal Propositional Logic

Bulletin of the Section of Logic 51 (3):297-316 (2022)
  Copy   BIBTEX


In this paper by using a model-theoretic approach, we prove Craig interpolation property for Formal Propositional Logic, FPL, Basic propositional logic, BPL and the uniform left-interpolation property for FPL. We also show that there are countably infinite extensions of FPL with the uniform interpolation property.



    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

New sequent calculi for Visser's Formal Propositional Logic.Katsumasa Ishii - 2003 - Mathematical Logic Quarterly 49 (5):525.
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.
Interpolation property for bicartesian closed categories.Djordje Čubrić - 1994 - Archive for Mathematical Logic 33 (4):291-319.
Interpolation and Preservation in.Holger Sturm - 1998 - Notre Dame Journal of Formal Logic 39 (2):190-211.


Added to PP

6 (#1,377,938)

6 months
4 (#657,928)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations