Strong Maehara and Takeuti type interpolation theorems for
Ruggero Ferro (1991)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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.