Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567208754> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W1567208754 abstract "In this note we exhibit an interpolant for a certain valid implication ╞ φ → ψ, where φ and ψ come from the infinitary language L ω1ω1 . The existence of this interpolant follows from Takeuti’s heterogeneous interpolation theorem [5], but unfortunately the proof in [5] is not explicit enough to allow one to find the interpolant explicitly. Takeuti’s theorem asserts the existence of an interpolant in the class L ω1ω1 of heterogeneous formulas , which admits the rules of formation of L ω1ω1 plus the following additional rule:" @default.
- W1567208754 created "2016-06-24" @default.
- W1567208754 creator A5003137683 @default.
- W1567208754 date "1973-12-01" @default.
- W1567208754 modified "2023-09-22" @default.
- W1567208754 title "A heterogeneous interpolant" @default.
- W1567208754 cites W2026167880 @default.
- W1567208754 cites W2086022250 @default.
- W1567208754 cites W2101692067 @default.
- W1567208754 cites W2508270892 @default.
- W1567208754 cites W4251853195 @default.
- W1567208754 doi "https://doi.org/10.1017/s0027763000015841" @default.
- W1567208754 hasPublicationYear "1973" @default.
- W1567208754 type Work @default.
- W1567208754 sameAs 1567208754 @default.
- W1567208754 citedByCount "0" @default.
- W1567208754 crossrefType "journal-article" @default.
- W1567208754 hasAuthorship W1567208754A5003137683 @default.
- W1567208754 hasBestOaLocation W15672087541 @default.
- W1567208754 hasConcept C104114177 @default.
- W1567208754 hasConcept C118615104 @default.
- W1567208754 hasConcept C137800194 @default.
- W1567208754 hasConcept C154945302 @default.
- W1567208754 hasConcept C202444582 @default.
- W1567208754 hasConcept C2777212361 @default.
- W1567208754 hasConcept C28826006 @default.
- W1567208754 hasConcept C33923547 @default.
- W1567208754 hasConcept C41008148 @default.
- W1567208754 hasConceptScore W1567208754C104114177 @default.
- W1567208754 hasConceptScore W1567208754C118615104 @default.
- W1567208754 hasConceptScore W1567208754C137800194 @default.
- W1567208754 hasConceptScore W1567208754C154945302 @default.
- W1567208754 hasConceptScore W1567208754C202444582 @default.
- W1567208754 hasConceptScore W1567208754C2777212361 @default.
- W1567208754 hasConceptScore W1567208754C28826006 @default.
- W1567208754 hasConceptScore W1567208754C33923547 @default.
- W1567208754 hasConceptScore W1567208754C41008148 @default.
- W1567208754 hasLocation W15672087541 @default.
- W1567208754 hasLocation W15672087542 @default.
- W1567208754 hasOpenAccess W1567208754 @default.
- W1567208754 hasPrimaryLocation W15672087541 @default.
- W1567208754 hasRelatedWork W1160949150 @default.
- W1567208754 hasRelatedWork W144386393 @default.
- W1567208754 hasRelatedWork W1513501449 @default.
- W1567208754 hasRelatedWork W1998141358 @default.
- W1567208754 hasRelatedWork W2025199228 @default.
- W1567208754 hasRelatedWork W2029181882 @default.
- W1567208754 hasRelatedWork W2031203614 @default.
- W1567208754 hasRelatedWork W2037709165 @default.
- W1567208754 hasRelatedWork W2099129599 @default.
- W1567208754 hasRelatedWork W2103815851 @default.
- W1567208754 hasRelatedWork W2131337804 @default.
- W1567208754 hasRelatedWork W2138398824 @default.
- W1567208754 hasRelatedWork W2148637706 @default.
- W1567208754 hasRelatedWork W2152286463 @default.
- W1567208754 hasRelatedWork W2160331299 @default.
- W1567208754 hasRelatedWork W2226604542 @default.
- W1567208754 hasRelatedWork W2330604690 @default.
- W1567208754 hasRelatedWork W2479941830 @default.
- W1567208754 hasRelatedWork W2505040098 @default.
- W1567208754 hasRelatedWork W3101258384 @default.
- W1567208754 isParatext "false" @default.
- W1567208754 isRetracted "false" @default.
- W1567208754 magId "1567208754" @default.
- W1567208754 workType "article" @default.