Matches in SemOpenAlex for { <https://semopenalex.org/work/W1988203721> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W1988203721 abstract "During the last two decades, Group for intelligent systems at Mathematical faculty in Belgrade developed several theorem provers for different kind of formal systems. Lately, we turn our attention to fuzzy logic and development of the corresponding theorem proven . The first step is to find suitable axiomatization, i.e., the formalization of fuzzy logic that is sound, complete and decidable. Mere we will discuss first order approach to the axiomatization of Łukasiewicz logic and Product logic." @default.
- W1988203721 created "2016-06-24" @default.
- W1988203721 creator A5003303052 @default.
- W1988203721 creator A5006220674 @default.
- W1988203721 creator A5034415480 @default.
- W1988203721 date "2007-08-01" @default.
- W1988203721 modified "2023-10-11" @default.
- W1988203721 title "On axiomatization of fuzzy logic" @default.
- W1988203721 cites W1529265550 @default.
- W1988203721 cites W1578843373 @default.
- W1988203721 cites W1976537120 @default.
- W1988203721 cites W2053576212 @default.
- W1988203721 cites W2062125000 @default.
- W1988203721 cites W2169250070 @default.
- W1988203721 cites W392897530 @default.
- W1988203721 doi "https://doi.org/10.1109/sisy.2007.4342623" @default.
- W1988203721 hasPublicationYear "2007" @default.
- W1988203721 type Work @default.
- W1988203721 sameAs 1988203721 @default.
- W1988203721 citedByCount "0" @default.
- W1988203721 crossrefType "proceedings-article" @default.
- W1988203721 hasAuthorship W1988203721A5003303052 @default.
- W1988203721 hasAuthorship W1988203721A5006220674 @default.
- W1988203721 hasAuthorship W1988203721A5034415480 @default.
- W1988203721 hasConcept C102993220 @default.
- W1988203721 hasConcept C136119220 @default.
- W1988203721 hasConcept C144760519 @default.
- W1988203721 hasConcept C150889026 @default.
- W1988203721 hasConcept C153269930 @default.
- W1988203721 hasConcept C154945302 @default.
- W1988203721 hasConcept C1883856 @default.
- W1988203721 hasConcept C199343813 @default.
- W1988203721 hasConcept C202444582 @default.
- W1988203721 hasConcept C206321295 @default.
- W1988203721 hasConcept C206880738 @default.
- W1988203721 hasConcept C2777686260 @default.
- W1988203721 hasConcept C33923547 @default.
- W1988203721 hasConcept C41008148 @default.
- W1988203721 hasConcept C42011625 @default.
- W1988203721 hasConcept C58166 @default.
- W1988203721 hasConcept C71924100 @default.
- W1988203721 hasConcept C80444323 @default.
- W1988203721 hasConcept C86602344 @default.
- W1988203721 hasConceptScore W1988203721C102993220 @default.
- W1988203721 hasConceptScore W1988203721C136119220 @default.
- W1988203721 hasConceptScore W1988203721C144760519 @default.
- W1988203721 hasConceptScore W1988203721C150889026 @default.
- W1988203721 hasConceptScore W1988203721C153269930 @default.
- W1988203721 hasConceptScore W1988203721C154945302 @default.
- W1988203721 hasConceptScore W1988203721C1883856 @default.
- W1988203721 hasConceptScore W1988203721C199343813 @default.
- W1988203721 hasConceptScore W1988203721C202444582 @default.
- W1988203721 hasConceptScore W1988203721C206321295 @default.
- W1988203721 hasConceptScore W1988203721C206880738 @default.
- W1988203721 hasConceptScore W1988203721C2777686260 @default.
- W1988203721 hasConceptScore W1988203721C33923547 @default.
- W1988203721 hasConceptScore W1988203721C41008148 @default.
- W1988203721 hasConceptScore W1988203721C42011625 @default.
- W1988203721 hasConceptScore W1988203721C58166 @default.
- W1988203721 hasConceptScore W1988203721C71924100 @default.
- W1988203721 hasConceptScore W1988203721C80444323 @default.
- W1988203721 hasConceptScore W1988203721C86602344 @default.
- W1988203721 hasLocation W19882037211 @default.
- W1988203721 hasOpenAccess W1988203721 @default.
- W1988203721 hasPrimaryLocation W19882037211 @default.
- W1988203721 hasRelatedWork W119971517 @default.
- W1988203721 hasRelatedWork W2011604505 @default.
- W1988203721 hasRelatedWork W2293835309 @default.
- W1988203721 hasRelatedWork W2381698241 @default.
- W1988203721 hasRelatedWork W2399028252 @default.
- W1988203721 hasRelatedWork W2745786137 @default.
- W1988203721 hasRelatedWork W4283069993 @default.
- W1988203721 hasRelatedWork W4308610738 @default.
- W1988203721 hasRelatedWork W50822504 @default.
- W1988203721 hasRelatedWork W1578365337 @default.
- W1988203721 isParatext "false" @default.
- W1988203721 isRetracted "false" @default.
- W1988203721 magId "1988203721" @default.
- W1988203721 workType "article" @default.