Matches in SemOpenAlex for { <https://semopenalex.org/work/W2405901277> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2405901277 endingPage "463" @default.
- W2405901277 startingPage "459" @default.
- W2405901277 abstract "Extensions of the Johansson minimal logic J are investigated. It is proved that the weak interpolation property WIP is decidable over J. Well-composed logics with the Graig interpolation property CIP, restricted interpolation property IPR and projective Beth property PBP are fully described. It is proved that there are only finitely many well-composed logics with CIP, IPR or PBP; for any well-composed logic PBP is equivalent to IPR, and all the properties CIP, IPR and PBP are decidable on the class of well-composed logics.." @default.
- W2405901277 created "2016-06-24" @default.
- W2405901277 creator A5005246162 @default.
- W2405901277 date "2012-01-01" @default.
- W2405901277 modified "2023-09-25" @default.
- W2405901277 title "Interpolation and Beth Definability over the Minimal Logic." @default.
- W2405901277 cites W1988779533 @default.
- W2405901277 cites W2027558344 @default.
- W2405901277 cites W2062364415 @default.
- W2405901277 cites W2090553806 @default.
- W2405901277 hasPublicationYear "2012" @default.
- W2405901277 type Work @default.
- W2405901277 sameAs 2405901277 @default.
- W2405901277 citedByCount "0" @default.
- W2405901277 crossrefType "proceedings-article" @default.
- W2405901277 hasAuthorship W2405901277A5005246162 @default.
- W2405901277 hasConcept C104114177 @default.
- W2405901277 hasConcept C111472728 @default.
- W2405901277 hasConcept C118615104 @default.
- W2405901277 hasConcept C136119220 @default.
- W2405901277 hasConcept C137800194 @default.
- W2405901277 hasConcept C138885662 @default.
- W2405901277 hasConcept C153269930 @default.
- W2405901277 hasConcept C154945302 @default.
- W2405901277 hasConcept C189950617 @default.
- W2405901277 hasConcept C202444582 @default.
- W2405901277 hasConcept C2777212361 @default.
- W2405901277 hasConcept C33923547 @default.
- W2405901277 hasConcept C41008148 @default.
- W2405901277 hasConceptScore W2405901277C104114177 @default.
- W2405901277 hasConceptScore W2405901277C111472728 @default.
- W2405901277 hasConceptScore W2405901277C118615104 @default.
- W2405901277 hasConceptScore W2405901277C136119220 @default.
- W2405901277 hasConceptScore W2405901277C137800194 @default.
- W2405901277 hasConceptScore W2405901277C138885662 @default.
- W2405901277 hasConceptScore W2405901277C153269930 @default.
- W2405901277 hasConceptScore W2405901277C154945302 @default.
- W2405901277 hasConceptScore W2405901277C189950617 @default.
- W2405901277 hasConceptScore W2405901277C202444582 @default.
- W2405901277 hasConceptScore W2405901277C2777212361 @default.
- W2405901277 hasConceptScore W2405901277C33923547 @default.
- W2405901277 hasConceptScore W2405901277C41008148 @default.
- W2405901277 hasLocation W24059012771 @default.
- W2405901277 hasOpenAccess W2405901277 @default.
- W2405901277 hasPrimaryLocation W24059012771 @default.
- W2405901277 hasRelatedWork W1480389067 @default.
- W2405901277 hasRelatedWork W1980065834 @default.
- W2405901277 hasRelatedWork W2029248266 @default.
- W2405901277 hasRelatedWork W2053085623 @default.
- W2405901277 hasRelatedWork W2062364415 @default.
- W2405901277 hasRelatedWork W2067884384 @default.
- W2405901277 hasRelatedWork W2073035724 @default.
- W2405901277 hasRelatedWork W2078092539 @default.
- W2405901277 hasRelatedWork W2127907968 @default.
- W2405901277 hasRelatedWork W2148157601 @default.
- W2405901277 hasRelatedWork W2153036557 @default.
- W2405901277 hasRelatedWork W2166908479 @default.
- W2405901277 hasRelatedWork W2169005666 @default.
- W2405901277 hasRelatedWork W2286419476 @default.
- W2405901277 hasRelatedWork W2886095372 @default.
- W2405901277 hasRelatedWork W2889923542 @default.
- W2405901277 hasRelatedWork W2971573791 @default.
- W2405901277 hasRelatedWork W3138992896 @default.
- W2405901277 hasRelatedWork W3186856844 @default.
- W2405901277 hasRelatedWork W2736516049 @default.
- W2405901277 isParatext "false" @default.
- W2405901277 isRetracted "false" @default.
- W2405901277 magId "2405901277" @default.
- W2405901277 workType "article" @default.