Strong Maehara and Takeuti type interpolation theorems for
Ruggero Ferro (1991)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
Ruggero Ferro (1991)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
Ruggero Ferro (1975)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
Ruggero Ferro (1981)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
Ruggero Ferro (1983)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
Stefano Baratella (1989)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
S. Hartman (1968)
Colloquium Mathematicae
Similarity:
R. Taberski (1972)
Colloquium Mathematicae
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...
Branga, Adrian (1998)
General Mathematics
Similarity:
R. Taberski (1971)
Colloquium Mathematicae
Similarity:
R. Taberski (1974)
Colloquium Mathematicae
Similarity:
S. Ugniewski (1977)
Applicationes Mathematicae
Similarity:
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.