Matches in SemOpenAlex for { <https://semopenalex.org/work/W655861310> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W655861310 abstract "We show in this note that all natural fragments of intuitionisticpropositional logic (i.e. fragments based on a subset of the naturalconnectives Λ, V, →, ¬) satisfy interpolation." @default.
- W655861310 created "2016-06-24" @default.
- W655861310 creator A5035399736 @default.
- W655861310 date "1986-10-01" @default.
- W655861310 modified "2023-09-26" @default.
- W655861310 title "Interpolation in natural fragments of intuitionistic propositional logic" @default.
- W655861310 cites W2122578644 @default.
- W655861310 hasPublicationYear "1986" @default.
- W655861310 type Work @default.
- W655861310 sameAs 655861310 @default.
- W655861310 citedByCount "1" @default.
- W655861310 crossrefType "journal-article" @default.
- W655861310 hasAuthorship W655861310A5035399736 @default.
- W655861310 hasConcept C102993220 @default.
- W655861310 hasConcept C104114177 @default.
- W655861310 hasConcept C118615104 @default.
- W655861310 hasConcept C137800194 @default.
- W655861310 hasConcept C14523651 @default.
- W655861310 hasConcept C154945302 @default.
- W655861310 hasConcept C178421362 @default.
- W655861310 hasConcept C33203268 @default.
- W655861310 hasConcept C33923547 @default.
- W655861310 hasConcept C41008148 @default.
- W655861310 hasConcept C69562738 @default.
- W655861310 hasConceptScore W655861310C102993220 @default.
- W655861310 hasConceptScore W655861310C104114177 @default.
- W655861310 hasConceptScore W655861310C118615104 @default.
- W655861310 hasConceptScore W655861310C137800194 @default.
- W655861310 hasConceptScore W655861310C14523651 @default.
- W655861310 hasConceptScore W655861310C154945302 @default.
- W655861310 hasConceptScore W655861310C178421362 @default.
- W655861310 hasConceptScore W655861310C33203268 @default.
- W655861310 hasConceptScore W655861310C33923547 @default.
- W655861310 hasConceptScore W655861310C41008148 @default.
- W655861310 hasConceptScore W655861310C69562738 @default.
- W655861310 hasLocation W6558613101 @default.
- W655861310 hasOpenAccess W655861310 @default.
- W655861310 hasPrimaryLocation W6558613101 @default.
- W655861310 hasRelatedWork W1963559850 @default.
- W655861310 hasRelatedWork W2039832353 @default.
- W655861310 hasRelatedWork W2078643952 @default.
- W655861310 hasRelatedWork W2078736672 @default.
- W655861310 hasRelatedWork W2084630333 @default.
- W655861310 hasRelatedWork W2085625417 @default.
- W655861310 hasRelatedWork W2134877291 @default.
- W655861310 hasRelatedWork W2163197731 @default.
- W655861310 hasRelatedWork W2252582694 @default.
- W655861310 hasRelatedWork W2409304415 @default.
- W655861310 hasRelatedWork W26253884 @default.
- W655861310 hasRelatedWork W2734680306 @default.
- W655861310 hasRelatedWork W2788679136 @default.
- W655861310 hasRelatedWork W2952893544 @default.
- W655861310 hasRelatedWork W2963199370 @default.
- W655861310 hasRelatedWork W3145584637 @default.
- W655861310 hasRelatedWork W3188361810 @default.
- W655861310 hasRelatedWork W3200682096 @default.
- W655861310 hasRelatedWork W949976107 @default.
- W655861310 hasRelatedWork W2150237817 @default.
- W655861310 hasVolume "15" @default.
- W655861310 isParatext "false" @default.
- W655861310 isRetracted "false" @default.
- W655861310 magId "655861310" @default.
- W655861310 workType "article" @default.