Интерполяционные теоремы в модальных логиках. Достаточные условия
Л.Л. Максимова (1980)
Algebra i Logika
Similarity:
Л.Л. Максимова (1980)
Algebra i Logika
Similarity:
П.А. Шрайнер, P. A. Šrajner, P. A. Šrajner, P. A. Šrajner (1996)
Algebra i Logika
Similarity:
А.В. Чагров (1990)
Algebra i Logika
Similarity:
П.А. Шрайнер, P. A. Šrajner, P. A. Šrajner, P. A. Šrajner (1998)
Algebra i Logika
Similarity:
Л.Л. Максимова (1999)
Algebra i Logika
Similarity:
Л.Л. Максимова (1982)
Algebra i Logika
Similarity:
Л.Л. Максимова, L.L. Maksimova, L.L. Maksimova, L.L. Maksimova (1999)
Algebra i Logika
Similarity:
Л.Л. Максимова (1977)
Algebra i Logika
Similarity:
Paolo Maffezioli, Eugenio Orlandelli (2019)
Bulletin of the Section of Logic
Similarity:
In previous work by Baaz and Iemhoff, a Gentzen calculus for intuitionistic logic with existence predicate is presented that satisfies partial cut elimination and Craig's interpolation property; it is also conjectured that interpolation fails for the implication-free fragment. In this paper an equivalent calculus is introduced that satisfies full cut elimination and allows a direct proof of interpolation via Maehara's lemma. In this way, it is possible to obtain much simpler interpolants...
Zofia Kostrzycka (2018)
Bulletin of the Section of Logic
Similarity:
We prove that there is infinitely many tabular modal logics extending KB.Alt(2) which have interpolation.
В.В. Рыбаков (1986)
Algebra i Logika
Similarity:
С.В. Попов (1981)
Algebra i Logika
Similarity:
С.В. Бабенышев (1992)
Algebra i Logika
Similarity: