Interpolation Property on Visser's Formal Propositional Logic
Interpolation Property on Visser's Formal Propositional Logic
Author(s): Majid Alizadeh, Masoud MemarzadehSubject(s): Logic
Published by: Wydawnictwo Uniwersytetu Łódzkiego
Keywords: basic propositional logic; formal propositional logic; layered bisimulation; interpolation
Summary/Abstract: 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.
Journal: Bulletin of the Section of Logic
- Issue Year: 51/2022
- Issue No: 3
- Page Range: 297-316
- Page Count: 20
- Language: English
