Matches in SemOpenAlex for { <https://semopenalex.org/work/W4386412933> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W4386412933 endingPage "32" @default.
- W4386412933 startingPage "32" @default.
- W4386412933 abstract "Syllogistic reasoning plays an important role in natural language information processing. In order to provide a consistent interpretation for Aristotelian modal syllogistic, this paper firstly proves the validity of the syllogism ◇A£I◇I-1, and then takes it as the basic axiom to derive the other 37 valid modal syllogisms on the basis of some reasoning rules in classical propositional logic, the transformation between any one of Aristotelian quantifiers and its three negative quantifiers, the symmetry of the Aristotelian quantifier some and no, and some relevant definitions and facts. In other words, there are reducibility between the modal syllogism ◇A£I◇I-1 and the other 37 valid modal syllogisms. There are infinitely many modal syllogism instances in natural language corresponding to every valid modal syllogism, thus this study has important practical significance and theoretical value for natural language information processing in computer science." @default.
- W4386412933 created "2023-09-05" @default.
- W4386412933 creator A5091722815 @default.
- W4386412933 date "2023-04-26" @default.
- W4386412933 modified "2023-10-16" @default.
- W4386412933 title "How to Derive the Other 37 Valid Modal Syllogisms from the Syllogism ◇A£I◇I-1" @default.
- W4386412933 doi "https://doi.org/10.11114/ijsss.v11i3.6099" @default.
- W4386412933 hasPublicationYear "2023" @default.
- W4386412933 type Work @default.
- W4386412933 citedByCount "0" @default.
- W4386412933 crossrefType "journal-article" @default.
- W4386412933 hasAuthorship W4386412933A5091722815 @default.
- W4386412933 hasBestOaLocation W43864129331 @default.
- W4386412933 hasConcept C131598440 @default.
- W4386412933 hasConcept C138885662 @default.
- W4386412933 hasConcept C167729594 @default.
- W4386412933 hasConcept C185592680 @default.
- W4386412933 hasConcept C188027245 @default.
- W4386412933 hasConcept C2524010 @default.
- W4386412933 hasConcept C27508121 @default.
- W4386412933 hasConcept C33923547 @default.
- W4386412933 hasConcept C41008148 @default.
- W4386412933 hasConcept C41895202 @default.
- W4386412933 hasConcept C71139939 @default.
- W4386412933 hasConcept C78344899 @default.
- W4386412933 hasConceptScore W4386412933C131598440 @default.
- W4386412933 hasConceptScore W4386412933C138885662 @default.
- W4386412933 hasConceptScore W4386412933C167729594 @default.
- W4386412933 hasConceptScore W4386412933C185592680 @default.
- W4386412933 hasConceptScore W4386412933C188027245 @default.
- W4386412933 hasConceptScore W4386412933C2524010 @default.
- W4386412933 hasConceptScore W4386412933C27508121 @default.
- W4386412933 hasConceptScore W4386412933C33923547 @default.
- W4386412933 hasConceptScore W4386412933C41008148 @default.
- W4386412933 hasConceptScore W4386412933C41895202 @default.
- W4386412933 hasConceptScore W4386412933C71139939 @default.
- W4386412933 hasConceptScore W4386412933C78344899 @default.
- W4386412933 hasIssue "3" @default.
- W4386412933 hasLocation W43864129331 @default.
- W4386412933 hasOpenAccess W4386412933 @default.
- W4386412933 hasPrimaryLocation W43864129331 @default.
- W4386412933 hasRelatedWork W1992964061 @default.
- W4386412933 hasRelatedWork W1993195187 @default.
- W4386412933 hasRelatedWork W2224511541 @default.
- W4386412933 hasRelatedWork W2621794756 @default.
- W4386412933 hasRelatedWork W2947544542 @default.
- W4386412933 hasRelatedWork W2949195168 @default.
- W4386412933 hasRelatedWork W2949424878 @default.
- W4386412933 hasRelatedWork W3005541410 @default.
- W4386412933 hasRelatedWork W4327905214 @default.
- W4386412933 hasRelatedWork W4367051801 @default.
- W4386412933 hasVolume "11" @default.
- W4386412933 isParatext "false" @default.
- W4386412933 isRetracted "false" @default.
- W4386412933 workType "article" @default.