Opis

• Tytuł:
  Interpolation Property on Visser's Formal Propositional Logic
• Twórca:
  Alizadeh, Majid;
  Memarzadeh, Masoud
• Współtwórca:
  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
• Opis:
   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.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa: https://creativecommons.org/licenses/by-nc-nd/4.0
• Data:
  2022.11.07;
  2022.09.20
• Typ:
  Other
• Język:
  angielski
• Format:
  application/pdf
• Wydawca:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relacja:
  Bulletin of the Section of Logic;3;
  51
• Temat i słowa kluczowe:
  basic propositional logic;
  formal propositional logic;
  layered bisimulation;
  interpolation
• Identyfikator:
  0138-0680;
  http://hdl.handle.net/11089/44035 ;
  2449-836X;
  10.18778/0138-0680.2022.18
• Dostawca danych:
  Repozytorium Uniwersytetu Łódzkiego
• Czy mogę z tego obiektu skorzystać?:
  sprawdź warunki licencji
• Rodzaj zawartości:
  pozostałe