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 (1981)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
Ruggero Ferro (1975)
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:
Branga, Adrian (1998)
General Mathematics
Similarity:
R. Taberski (1974)
Colloquium Mathematicae
Similarity:
R. Taberski (1971)
Colloquium Mathematicae
Similarity:
S. Ugniewski (1977)
Applicationes 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...
Alessandra Lunardi (1982)
Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni
Similarity:
Si calcolano alcuni spazi di interpolazione fra spazi di funzioni hölderiane.