Matches in SemOpenAlex for { <https://semopenalex.org/work/W4316253714> ?p ?o ?g. }
Showing items 1 to 56 of
56
with 100 items per page.
- W4316253714 endingPage "51" @default.
- W4316253714 startingPage "31" @default.
- W4316253714 abstract "In this paper, we devoted to study the language monadic predicate logic system plus identity (LMPLS+I) as extension of the language of propositional logic system (LPLS). I.e., (LPLS)⊂ (LMPLS+I), which it contains all the hereditary traits (or features) of (LPLS) , furthermore that, we will add some new data information between relationship of object, subject and predicate. This is the task of monadic predicate logic system addressed. As mentioned in pervious papers, the main task of system of logic is classifying between valid and invalid arguments, moreover, the central role the system of logic how distinguishes between the conclusions which follow from their premises of the arguments and those do not follow from their premises. As a matter of fact, when we encounter some proofs that seem perceptually (or intuitively) sound, but we are -unable to prove their validity due to the inability language of propositional logic system (LPLS). Hence, it was necessary to uses the monadic predicate logic system (LMPLS+I) to overcome this problem. In this article, we study syntax, semantics and inference on language monadic predicate logic system plus identity (LMPLS+I) and investigation characteristics of arguments such valid invalid and types of formulas and relations between formulas like consistency and inconsistency sets." @default.
- W4316253714 created "2023-01-15" @default.
- W4316253714 creator A5002210639 @default.
- W4316253714 date "2023-01-01" @default.
- W4316253714 modified "2023-09-28" @default.
- W4316253714 title "Aspects of Language Monadic Predicate Logic System plus Identity (LMPL+I)" @default.
- W4316253714 doi "https://doi.org/10.54216/pamda.010103" @default.
- W4316253714 hasPublicationYear "2023" @default.
- W4316253714 type Work @default.
- W4316253714 citedByCount "0" @default.
- W4316253714 crossrefType "journal-article" @default.
- W4316253714 hasAuthorship W4316253714A5002210639 @default.
- W4316253714 hasConcept C102993220 @default.
- W4316253714 hasConcept C110039528 @default.
- W4316253714 hasConcept C118615104 @default.
- W4316253714 hasConcept C140146324 @default.
- W4316253714 hasConcept C19689857 @default.
- W4316253714 hasConcept C199360897 @default.
- W4316253714 hasConcept C203659156 @default.
- W4316253714 hasConcept C2039508 @default.
- W4316253714 hasConcept C33923547 @default.
- W4316253714 hasConcept C3845977 @default.
- W4316253714 hasConcept C41008148 @default.
- W4316253714 hasConcept C73314972 @default.
- W4316253714 hasConceptScore W4316253714C102993220 @default.
- W4316253714 hasConceptScore W4316253714C110039528 @default.
- W4316253714 hasConceptScore W4316253714C118615104 @default.
- W4316253714 hasConceptScore W4316253714C140146324 @default.
- W4316253714 hasConceptScore W4316253714C19689857 @default.
- W4316253714 hasConceptScore W4316253714C199360897 @default.
- W4316253714 hasConceptScore W4316253714C203659156 @default.
- W4316253714 hasConceptScore W4316253714C2039508 @default.
- W4316253714 hasConceptScore W4316253714C33923547 @default.
- W4316253714 hasConceptScore W4316253714C3845977 @default.
- W4316253714 hasConceptScore W4316253714C41008148 @default.
- W4316253714 hasConceptScore W4316253714C73314972 @default.
- W4316253714 hasIssue "1" @default.
- W4316253714 hasLocation W43162537141 @default.
- W4316253714 hasOpenAccess W4316253714 @default.
- W4316253714 hasPrimaryLocation W43162537141 @default.
- W4316253714 hasRelatedWork W19518518 @default.
- W4316253714 hasRelatedWork W2018616641 @default.
- W4316253714 hasRelatedWork W2034962444 @default.
- W4316253714 hasRelatedWork W2085625417 @default.
- W4316253714 hasRelatedWork W2119094149 @default.
- W4316253714 hasRelatedWork W2176578744 @default.
- W4316253714 hasRelatedWork W2288835708 @default.
- W4316253714 hasRelatedWork W2296002977 @default.
- W4316253714 hasRelatedWork W3000569492 @default.
- W4316253714 hasRelatedWork W3007835832 @default.
- W4316253714 hasVolume "1" @default.
- W4316253714 isParatext "false" @default.
- W4316253714 isRetracted "false" @default.
- W4316253714 workType "article" @default.