Matches in SemOpenAlex for { <https://semopenalex.org/work/W2065922425> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2065922425 endingPage "214" @default.
- W2065922425 startingPage "207" @default.
- W2065922425 abstract "It is shown that nonmodal classical linear first-order predicate logic based on multiplicative conjunction, additive disjunction, negation, the propositional constants and the existential quantifier is included in intuitionistic linear first-order predicate logic. An analogous result is obtained for BCK logic." @default.
- W2065922425 created "2016-06-24" @default.
- W2065922425 creator A5018558191 @default.
- W2065922425 date "1992-08-01" @default.
- W2065922425 modified "2023-09-29" @default.
- W2065922425 title "Nonmodal classical linear predicate logic is a fragment of intuitionistic linear logic" @default.
- W2065922425 cites W1502726770 @default.
- W2065922425 cites W1572370762 @default.
- W2065922425 cites W2083147990 @default.
- W2065922425 cites W2095436832 @default.
- W2065922425 cites W2911865844 @default.
- W2065922425 cites W91153459 @default.
- W2065922425 doi "https://doi.org/10.1016/0304-3975(92)90300-5" @default.
- W2065922425 hasPublicationYear "1992" @default.
- W2065922425 type Work @default.
- W2065922425 sameAs 2065922425 @default.
- W2065922425 citedByCount "5" @default.
- W2065922425 countsByYear W20659224252017 @default.
- W2065922425 countsByYear W20659224252018 @default.
- W2065922425 countsByYear W20659224252022 @default.
- W2065922425 crossrefType "journal-article" @default.
- W2065922425 hasAuthorship W2065922425A5018558191 @default.
- W2065922425 hasBestOaLocation W20659224251 @default.
- W2065922425 hasConcept C102993220 @default.
- W2065922425 hasConcept C110039528 @default.
- W2065922425 hasConcept C11413529 @default.
- W2065922425 hasConcept C118615104 @default.
- W2065922425 hasConcept C140146324 @default.
- W2065922425 hasConcept C150889026 @default.
- W2065922425 hasConcept C169896238 @default.
- W2065922425 hasConcept C178421362 @default.
- W2065922425 hasConcept C19689857 @default.
- W2065922425 hasConcept C199360897 @default.
- W2065922425 hasConcept C203659156 @default.
- W2065922425 hasConcept C2039508 @default.
- W2065922425 hasConcept C2185349 @default.
- W2065922425 hasConcept C2776235265 @default.
- W2065922425 hasConcept C28077239 @default.
- W2065922425 hasConcept C33203268 @default.
- W2065922425 hasConcept C33923547 @default.
- W2065922425 hasConcept C3845977 @default.
- W2065922425 hasConcept C41008148 @default.
- W2065922425 hasConcept C4777664 @default.
- W2065922425 hasConcept C73314972 @default.
- W2065922425 hasConcept C80444323 @default.
- W2065922425 hasConceptScore W2065922425C102993220 @default.
- W2065922425 hasConceptScore W2065922425C110039528 @default.
- W2065922425 hasConceptScore W2065922425C11413529 @default.
- W2065922425 hasConceptScore W2065922425C118615104 @default.
- W2065922425 hasConceptScore W2065922425C140146324 @default.
- W2065922425 hasConceptScore W2065922425C150889026 @default.
- W2065922425 hasConceptScore W2065922425C169896238 @default.
- W2065922425 hasConceptScore W2065922425C178421362 @default.
- W2065922425 hasConceptScore W2065922425C19689857 @default.
- W2065922425 hasConceptScore W2065922425C199360897 @default.
- W2065922425 hasConceptScore W2065922425C203659156 @default.
- W2065922425 hasConceptScore W2065922425C2039508 @default.
- W2065922425 hasConceptScore W2065922425C2185349 @default.
- W2065922425 hasConceptScore W2065922425C2776235265 @default.
- W2065922425 hasConceptScore W2065922425C28077239 @default.
- W2065922425 hasConceptScore W2065922425C33203268 @default.
- W2065922425 hasConceptScore W2065922425C33923547 @default.
- W2065922425 hasConceptScore W2065922425C3845977 @default.
- W2065922425 hasConceptScore W2065922425C41008148 @default.
- W2065922425 hasConceptScore W2065922425C4777664 @default.
- W2065922425 hasConceptScore W2065922425C73314972 @default.
- W2065922425 hasConceptScore W2065922425C80444323 @default.
- W2065922425 hasIssue "1" @default.
- W2065922425 hasLocation W20659224251 @default.
- W2065922425 hasOpenAccess W2065922425 @default.
- W2065922425 hasPrimaryLocation W20659224251 @default.
- W2065922425 hasRelatedWork W10948657 @default.
- W2065922425 hasRelatedWork W1487155807 @default.
- W2065922425 hasRelatedWork W1533537820 @default.
- W2065922425 hasRelatedWork W2033995545 @default.
- W2065922425 hasRelatedWork W2065922425 @default.
- W2065922425 hasRelatedWork W2105686283 @default.
- W2065922425 hasRelatedWork W2121616340 @default.
- W2065922425 hasRelatedWork W2913260702 @default.
- W2065922425 hasRelatedWork W362162902 @default.
- W2065922425 hasRelatedWork W91200808 @default.
- W2065922425 hasVolume "102" @default.
- W2065922425 isParatext "false" @default.
- W2065922425 isRetracted "false" @default.
- W2065922425 magId "2065922425" @default.
- W2065922425 workType "article" @default.