Matches in SemOpenAlex for { <https://semopenalex.org/work/W1963939098> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1963939098 abstract "One of the well-known systems of paraconsistent logic called LFI1 is designed to be a base system in constructing evolutionary databases. This system LFI1 is proved to be a 3-valued logic and also maximal relative to classical logic enriched with inconsistency operator in an obvious manner. The present paper aims to examine the system LFI1 from the viewpoint of Belnap's 4-valued logic. More concretely, we develop the Belnapian 4-valued system of Logics of Formal Inconsistency(LFIs) which can be seen as a natural generalization of LFI1. As a consequence, from the viewpoint of the Belnapian logic, we obtain a formalization which contains the notion of normality instead of the constant ⊥. On the other hand, from the viewpoint of LFIs, we lose the maximality but might be able to cope with more data in constructing databases. This is because the fourth value of the Belnapian matrix corresponds to incomplete data which cannot be dealt with in LFI1. Our results contain an axiomatization of the Belnapian LFI, a characterization of normality in the system, and a translation result between the existing Belnapian system and the system we introduce." @default.
- W1963939098 created "2016-06-24" @default.
- W1963939098 creator A5019673266 @default.
- W1963939098 creator A5077508301 @default.
- W1963939098 date "2011-08-01" @default.
- W1963939098 modified "2023-09-27" @default.
- W1963939098 title "Some Observations on the Systems LFI1 and LFI1" @default.
- W1963939098 cites W1481398220 @default.
- W1963939098 cites W2014806304 @default.
- W1963939098 cites W2029571501 @default.
- W1963939098 cites W2039232530 @default.
- W1963939098 cites W2051448963 @default.
- W1963939098 cites W2142616542 @default.
- W1963939098 doi "https://doi.org/10.1109/dexa.2011.77" @default.
- W1963939098 hasPublicationYear "2011" @default.
- W1963939098 type Work @default.
- W1963939098 sameAs 1963939098 @default.
- W1963939098 citedByCount "8" @default.
- W1963939098 countsByYear W19639390982014 @default.
- W1963939098 countsByYear W19639390982015 @default.
- W1963939098 countsByYear W19639390982016 @default.
- W1963939098 countsByYear W19639390982018 @default.
- W1963939098 crossrefType "proceedings-article" @default.
- W1963939098 hasAuthorship W1963939098A5019673266 @default.
- W1963939098 hasAuthorship W1963939098A5077508301 @default.
- W1963939098 hasConcept C104317684 @default.
- W1963939098 hasConcept C105795698 @default.
- W1963939098 hasConcept C11413529 @default.
- W1963939098 hasConcept C118615104 @default.
- W1963939098 hasConcept C134306372 @default.
- W1963939098 hasConcept C136119220 @default.
- W1963939098 hasConcept C158448853 @default.
- W1963939098 hasConcept C17020691 @default.
- W1963939098 hasConcept C177148314 @default.
- W1963939098 hasConcept C185592680 @default.
- W1963939098 hasConcept C199360897 @default.
- W1963939098 hasConcept C202444582 @default.
- W1963939098 hasConcept C2776157432 @default.
- W1963939098 hasConcept C32241873 @default.
- W1963939098 hasConcept C33923547 @default.
- W1963939098 hasConcept C41008148 @default.
- W1963939098 hasConcept C55493867 @default.
- W1963939098 hasConcept C80444323 @default.
- W1963939098 hasConcept C86339819 @default.
- W1963939098 hasConceptScore W1963939098C104317684 @default.
- W1963939098 hasConceptScore W1963939098C105795698 @default.
- W1963939098 hasConceptScore W1963939098C11413529 @default.
- W1963939098 hasConceptScore W1963939098C118615104 @default.
- W1963939098 hasConceptScore W1963939098C134306372 @default.
- W1963939098 hasConceptScore W1963939098C136119220 @default.
- W1963939098 hasConceptScore W1963939098C158448853 @default.
- W1963939098 hasConceptScore W1963939098C17020691 @default.
- W1963939098 hasConceptScore W1963939098C177148314 @default.
- W1963939098 hasConceptScore W1963939098C185592680 @default.
- W1963939098 hasConceptScore W1963939098C199360897 @default.
- W1963939098 hasConceptScore W1963939098C202444582 @default.
- W1963939098 hasConceptScore W1963939098C2776157432 @default.
- W1963939098 hasConceptScore W1963939098C32241873 @default.
- W1963939098 hasConceptScore W1963939098C33923547 @default.
- W1963939098 hasConceptScore W1963939098C41008148 @default.
- W1963939098 hasConceptScore W1963939098C55493867 @default.
- W1963939098 hasConceptScore W1963939098C80444323 @default.
- W1963939098 hasConceptScore W1963939098C86339819 @default.
- W1963939098 hasLocation W19639390981 @default.
- W1963939098 hasOpenAccess W1963939098 @default.
- W1963939098 hasPrimaryLocation W19639390981 @default.
- W1963939098 hasRelatedWork W1528041266 @default.
- W1963939098 hasRelatedWork W1988497112 @default.
- W1963939098 hasRelatedWork W2034881304 @default.
- W1963939098 hasRelatedWork W2036553902 @default.
- W1963939098 hasRelatedWork W2059303404 @default.
- W1963939098 hasRelatedWork W2061937439 @default.
- W1963939098 hasRelatedWork W2095534273 @default.
- W1963939098 hasRelatedWork W2208813557 @default.
- W1963939098 hasRelatedWork W2766164073 @default.
- W1963939098 hasRelatedWork W2931212672 @default.
- W1963939098 isParatext "false" @default.
- W1963939098 isRetracted "false" @default.
- W1963939098 magId "1963939098" @default.
- W1963939098 workType "article" @default.