Matches in SemOpenAlex for { <https://semopenalex.org/work/W2952815021> ?p ?o ?g. }
- W2952815021 abstract "Takeuti and Titani have introduced and investigated a logic they called intuitionistic fuzzy logic. This logic is characterized as the first-order Goedel logic based on the truth value set [0,1]. The logic is known to be axiomatizable, but no deduction system amenable to proof-theoretic, and hence, computational treatment, has been known. Such a system is presented here, based on previous work on hypersequent calculi for propositional Goedel logics by Avron. It is shown that the system is sound and complete, and allows cut-elimination. A question by Takano regarding the eliminability of the Takeuti-Titani density rule is answered affirmatively." @default.
- W2952815021 created "2019-06-27" @default.
- W2952815021 creator A5035315045 @default.
- W2952815021 creator A5086862307 @default.
- W2952815021 date "2000-05-18" @default.
- W2952815021 modified "2023-10-06" @default.
- W2952815021 title "Hypersequents and the Proof Theory of Intuitionistic Fuzzy Logic" @default.
- W2952815021 cites W1883540685 @default.
- W2952815021 cites W1970249071 @default.
- W2952815021 cites W1971043428 @default.
- W2952815021 cites W1978639634 @default.
- W2952815021 cites W2065869391 @default.
- W2952815021 cites W2082297482 @default.
- W2952815021 cites W2082736027 @default.
- W2952815021 cites W2096482476 @default.
- W2952815021 cites W2110182592 @default.
- W2952815021 cites W28017348 @default.
- W2952815021 cites W3039529476 @default.
- W2952815021 cites W3152800724 @default.
- W2952815021 cites W1498569475 @default.
- W2952815021 hasPublicationYear "2000" @default.
- W2952815021 type Work @default.
- W2952815021 sameAs 2952815021 @default.
- W2952815021 citedByCount "17" @default.
- W2952815021 countsByYear W29528150212013 @default.
- W2952815021 countsByYear W29528150212014 @default.
- W2952815021 countsByYear W29528150212015 @default.
- W2952815021 countsByYear W29528150212020 @default.
- W2952815021 countsByYear W29528150212021 @default.
- W2952815021 crossrefType "posted-content" @default.
- W2952815021 hasAuthorship W2952815021A5035315045 @default.
- W2952815021 hasAuthorship W2952815021A5086862307 @default.
- W2952815021 hasConcept C102993220 @default.
- W2952815021 hasConcept C108710211 @default.
- W2952815021 hasConcept C110039528 @default.
- W2952815021 hasConcept C11413529 @default.
- W2952815021 hasConcept C118615104 @default.
- W2952815021 hasConcept C136119220 @default.
- W2952815021 hasConcept C144791301 @default.
- W2952815021 hasConcept C150889026 @default.
- W2952815021 hasConcept C154945302 @default.
- W2952815021 hasConcept C169896238 @default.
- W2952815021 hasConcept C178421362 @default.
- W2952815021 hasConcept C180937797 @default.
- W2952815021 hasConcept C1883856 @default.
- W2952815021 hasConcept C199343813 @default.
- W2952815021 hasConcept C199360897 @default.
- W2952815021 hasConcept C202444582 @default.
- W2952815021 hasConcept C203659156 @default.
- W2952815021 hasConcept C2318724 @default.
- W2952815021 hasConcept C2524010 @default.
- W2952815021 hasConcept C2777686260 @default.
- W2952815021 hasConcept C2781302003 @default.
- W2952815021 hasConcept C33203268 @default.
- W2952815021 hasConcept C33923547 @default.
- W2952815021 hasConcept C41008148 @default.
- W2952815021 hasConcept C42011625 @default.
- W2952815021 hasConcept C46274116 @default.
- W2952815021 hasConcept C58166 @default.
- W2952815021 hasConcept C69562738 @default.
- W2952815021 hasConcept C71924100 @default.
- W2952815021 hasConcept C80444323 @default.
- W2952815021 hasConcept C86602344 @default.
- W2952815021 hasConceptScore W2952815021C102993220 @default.
- W2952815021 hasConceptScore W2952815021C108710211 @default.
- W2952815021 hasConceptScore W2952815021C110039528 @default.
- W2952815021 hasConceptScore W2952815021C11413529 @default.
- W2952815021 hasConceptScore W2952815021C118615104 @default.
- W2952815021 hasConceptScore W2952815021C136119220 @default.
- W2952815021 hasConceptScore W2952815021C144791301 @default.
- W2952815021 hasConceptScore W2952815021C150889026 @default.
- W2952815021 hasConceptScore W2952815021C154945302 @default.
- W2952815021 hasConceptScore W2952815021C169896238 @default.
- W2952815021 hasConceptScore W2952815021C178421362 @default.
- W2952815021 hasConceptScore W2952815021C180937797 @default.
- W2952815021 hasConceptScore W2952815021C1883856 @default.
- W2952815021 hasConceptScore W2952815021C199343813 @default.
- W2952815021 hasConceptScore W2952815021C199360897 @default.
- W2952815021 hasConceptScore W2952815021C202444582 @default.
- W2952815021 hasConceptScore W2952815021C203659156 @default.
- W2952815021 hasConceptScore W2952815021C2318724 @default.
- W2952815021 hasConceptScore W2952815021C2524010 @default.
- W2952815021 hasConceptScore W2952815021C2777686260 @default.
- W2952815021 hasConceptScore W2952815021C2781302003 @default.
- W2952815021 hasConceptScore W2952815021C33203268 @default.
- W2952815021 hasConceptScore W2952815021C33923547 @default.
- W2952815021 hasConceptScore W2952815021C41008148 @default.
- W2952815021 hasConceptScore W2952815021C42011625 @default.
- W2952815021 hasConceptScore W2952815021C46274116 @default.
- W2952815021 hasConceptScore W2952815021C58166 @default.
- W2952815021 hasConceptScore W2952815021C69562738 @default.
- W2952815021 hasConceptScore W2952815021C71924100 @default.
- W2952815021 hasConceptScore W2952815021C80444323 @default.
- W2952815021 hasConceptScore W2952815021C86602344 @default.
- W2952815021 hasLocation W29528150211 @default.
- W2952815021 hasOpenAccess W2952815021 @default.
- W2952815021 hasPrimaryLocation W29528150211 @default.
- W2952815021 hasRelatedWork W1479710971 @default.
- W2952815021 hasRelatedWork W1511669762 @default.
- W2952815021 hasRelatedWork W1535673504 @default.