Matches in SemOpenAlex for { <https://semopenalex.org/work/W2741223992> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2741223992 abstract "In proving the interpolation theorem in terms of sequent calculus, Maehara’s method is usually used. This paper shows that the interpolation theorem for substructural logics obtained by deleting constants from FL, FLe, FLec, CFLe and CFLec can be proved by putting some restriction on partitions in Maehara’s method." @default.
- W2741223992 created "2017-08-08" @default.
- W2741223992 creator A5057339710 @default.
- W2741223992 date "2001-01-01" @default.
- W2741223992 modified "2023-09-27" @default.
- W2741223992 title "SOME REMARKS ON MAEHARA'S METHOD" @default.
- W2741223992 cites W1602191112 @default.
- W2741223992 cites W2098244894 @default.
- W2741223992 cites W2114633883 @default.
- W2741223992 cites W577369261 @default.
- W2741223992 hasPublicationYear "2001" @default.
- W2741223992 type Work @default.
- W2741223992 sameAs 2741223992 @default.
- W2741223992 citedByCount "0" @default.
- W2741223992 crossrefType "journal-article" @default.
- W2741223992 hasAuthorship W2741223992A5057339710 @default.
- W2741223992 hasConcept C104114177 @default.
- W2741223992 hasConcept C108710211 @default.
- W2741223992 hasConcept C118615104 @default.
- W2741223992 hasConcept C136119220 @default.
- W2741223992 hasConcept C137800194 @default.
- W2741223992 hasConcept C154945302 @default.
- W2741223992 hasConcept C199343813 @default.
- W2741223992 hasConcept C199360897 @default.
- W2741223992 hasConcept C202444582 @default.
- W2741223992 hasConcept C2524010 @default.
- W2741223992 hasConcept C2777027219 @default.
- W2741223992 hasConcept C2777686260 @default.
- W2741223992 hasConcept C33923547 @default.
- W2741223992 hasConcept C41008148 @default.
- W2741223992 hasConcept C65880906 @default.
- W2741223992 hasConcept C71924100 @default.
- W2741223992 hasConcept C89421646 @default.
- W2741223992 hasConceptScore W2741223992C104114177 @default.
- W2741223992 hasConceptScore W2741223992C108710211 @default.
- W2741223992 hasConceptScore W2741223992C118615104 @default.
- W2741223992 hasConceptScore W2741223992C136119220 @default.
- W2741223992 hasConceptScore W2741223992C137800194 @default.
- W2741223992 hasConceptScore W2741223992C154945302 @default.
- W2741223992 hasConceptScore W2741223992C199343813 @default.
- W2741223992 hasConceptScore W2741223992C199360897 @default.
- W2741223992 hasConceptScore W2741223992C202444582 @default.
- W2741223992 hasConceptScore W2741223992C2524010 @default.
- W2741223992 hasConceptScore W2741223992C2777027219 @default.
- W2741223992 hasConceptScore W2741223992C2777686260 @default.
- W2741223992 hasConceptScore W2741223992C33923547 @default.
- W2741223992 hasConceptScore W2741223992C41008148 @default.
- W2741223992 hasConceptScore W2741223992C65880906 @default.
- W2741223992 hasConceptScore W2741223992C71924100 @default.
- W2741223992 hasConceptScore W2741223992C89421646 @default.
- W2741223992 hasLocation W27412239921 @default.
- W2741223992 hasOpenAccess W2741223992 @default.
- W2741223992 hasPrimaryLocation W27412239921 @default.
- W2741223992 hasRelatedWork W1543262318 @default.
- W2741223992 hasRelatedWork W1770545992 @default.
- W2741223992 hasRelatedWork W1886850165 @default.
- W2741223992 hasRelatedWork W2000451268 @default.
- W2741223992 hasRelatedWork W2008844842 @default.
- W2741223992 hasRelatedWork W2015302311 @default.
- W2741223992 hasRelatedWork W2066884271 @default.
- W2741223992 hasRelatedWork W2122759166 @default.
- W2741223992 hasRelatedWork W2127246914 @default.
- W2741223992 hasRelatedWork W2165923166 @default.
- W2741223992 hasRelatedWork W2184205866 @default.
- W2741223992 hasRelatedWork W2189855648 @default.
- W2741223992 hasRelatedWork W2559873117 @default.
- W2741223992 hasRelatedWork W2734370888 @default.
- W2741223992 hasRelatedWork W2736223974 @default.
- W2741223992 hasRelatedWork W2955326061 @default.
- W2741223992 hasRelatedWork W3009027761 @default.
- W2741223992 hasRelatedWork W3113346247 @default.
- W2741223992 hasRelatedWork W44110735 @default.
- W2741223992 hasRelatedWork W87533915 @default.
- W2741223992 isParatext "false" @default.
- W2741223992 isRetracted "false" @default.
- W2741223992 magId "2741223992" @default.
- W2741223992 workType "article" @default.