Description

• Title:
  Interpolation Property on Visser's Formal Propositional Logic
• Creator:
  Alizadeh, Majid;
  Memarzadeh, Masoud
• Contributor:
  Alizadeh, Majid - University of Tehran, College of Science School of Mathematics, Statistics and Computer Science, 14155-6455 Tehran, Iran;
  Memarzadeh, Masoud - University of Tehran, College of Science School of Mathematics, Statistics and Computer Science, 14155-6455 Tehran, Iran;
  Alizadeh, Majid - majidalizadeh@ut.ac.ir;
  Memarzadeh, Masoud - m.memarzadeh@ut.ac.ir
• Description:
   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.
• Object availability:
  free access
• Rights: https://creativecommons.org/licenses/by-nc-nd/4.0
• Date:
  2022.11.07;
  2022.09.20
• Type:
  Other
• Language:
  English
• Format:
  application/pdf
• Publisher:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relation:
  Bulletin of the Section of Logic;3;
  51
• Subject:
  basic propositional logic;
  formal propositional logic;
  layered bisimulation;
  interpolation
• Identifier:
  0138-0680;
  http://hdl.handle.net/11089/44035 ;
  2449-836X;
  10.18778/0138-0680.2022.18
• Data provider:
  Repozytorium Uniwersytetu Łódzkiego
• Can I use it?:
  check license
• Type:
  other