Matches in SemOpenAlex for { <https://semopenalex.org/work/W3165142541> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W3165142541 endingPage "11" @default.
- W3165142541 startingPage "1" @default.
- W3165142541 abstract "We consider a category C enriched over the segment [0,1] whose hom-objects are real numbers from [0,1]. For a suitably defined function $hat{v}$ assigning to each formula $varphi$ some object of $C$, the hom-object $C(hat{v} (varphi),hat{v}(psi))$ represents the degree of derivability of $psi$ from $varphi$. We reformulate completeness result for intuitionistic propositional logic, as well as H' ajek's completeness results concerning the product, G odel and L ukasiewicz fuzzy logic in the context of enriched category theory." @default.
- W3165142541 created "2021-06-07" @default.
- W3165142541 creator A5019065403 @default.
- W3165142541 creator A5062165904 @default.
- W3165142541 date "2021-06-01" @default.
- W3165142541 modified "2023-09-27" @default.
- W3165142541 title "Fuzzy logic and enriched categories" @default.
- W3165142541 doi "https://doi.org/10.22111/ijfs.2021.6077" @default.
- W3165142541 hasPublicationYear "2021" @default.
- W3165142541 type Work @default.
- W3165142541 sameAs 3165142541 @default.
- W3165142541 citedByCount "0" @default.
- W3165142541 crossrefType "journal-article" @default.
- W3165142541 hasAuthorship W3165142541A5019065403 @default.
- W3165142541 hasAuthorship W3165142541A5062165904 @default.
- W3165142541 hasConcept C102993220 @default.
- W3165142541 hasConcept C114614502 @default.
- W3165142541 hasConcept C118615104 @default.
- W3165142541 hasConcept C134306372 @default.
- W3165142541 hasConcept C136119220 @default.
- W3165142541 hasConcept C144760519 @default.
- W3165142541 hasConcept C150889026 @default.
- W3165142541 hasConcept C151730666 @default.
- W3165142541 hasConcept C154945302 @default.
- W3165142541 hasConcept C17231256 @default.
- W3165142541 hasConcept C202444582 @default.
- W3165142541 hasConcept C206321295 @default.
- W3165142541 hasConcept C2524010 @default.
- W3165142541 hasConcept C2779343474 @default.
- W3165142541 hasConcept C2781238097 @default.
- W3165142541 hasConcept C33923547 @default.
- W3165142541 hasConcept C41008148 @default.
- W3165142541 hasConcept C58166 @default.
- W3165142541 hasConcept C69562738 @default.
- W3165142541 hasConcept C86803240 @default.
- W3165142541 hasConcept C90673727 @default.
- W3165142541 hasConceptScore W3165142541C102993220 @default.
- W3165142541 hasConceptScore W3165142541C114614502 @default.
- W3165142541 hasConceptScore W3165142541C118615104 @default.
- W3165142541 hasConceptScore W3165142541C134306372 @default.
- W3165142541 hasConceptScore W3165142541C136119220 @default.
- W3165142541 hasConceptScore W3165142541C144760519 @default.
- W3165142541 hasConceptScore W3165142541C150889026 @default.
- W3165142541 hasConceptScore W3165142541C151730666 @default.
- W3165142541 hasConceptScore W3165142541C154945302 @default.
- W3165142541 hasConceptScore W3165142541C17231256 @default.
- W3165142541 hasConceptScore W3165142541C202444582 @default.
- W3165142541 hasConceptScore W3165142541C206321295 @default.
- W3165142541 hasConceptScore W3165142541C2524010 @default.
- W3165142541 hasConceptScore W3165142541C2779343474 @default.
- W3165142541 hasConceptScore W3165142541C2781238097 @default.
- W3165142541 hasConceptScore W3165142541C33923547 @default.
- W3165142541 hasConceptScore W3165142541C41008148 @default.
- W3165142541 hasConceptScore W3165142541C58166 @default.
- W3165142541 hasConceptScore W3165142541C69562738 @default.
- W3165142541 hasConceptScore W3165142541C86803240 @default.
- W3165142541 hasConceptScore W3165142541C90673727 @default.
- W3165142541 hasIssue "3" @default.
- W3165142541 hasLocation W31651425411 @default.
- W3165142541 hasOpenAccess W3165142541 @default.
- W3165142541 hasPrimaryLocation W31651425411 @default.
- W3165142541 hasRelatedWork W1704171133 @default.
- W3165142541 hasRelatedWork W1742450670 @default.
- W3165142541 hasRelatedWork W1858988792 @default.
- W3165142541 hasRelatedWork W1978704708 @default.
- W3165142541 hasRelatedWork W2001913480 @default.
- W3165142541 hasRelatedWork W2008679964 @default.
- W3165142541 hasRelatedWork W2024636910 @default.
- W3165142541 hasRelatedWork W2064686211 @default.
- W3165142541 hasRelatedWork W2068342173 @default.
- W3165142541 hasRelatedWork W2082736027 @default.
- W3165142541 hasRelatedWork W2085057168 @default.
- W3165142541 hasRelatedWork W2128084377 @default.
- W3165142541 hasRelatedWork W2165498398 @default.
- W3165142541 hasRelatedWork W2348536727 @default.
- W3165142541 hasRelatedWork W2462177013 @default.
- W3165142541 hasRelatedWork W2744182927 @default.
- W3165142541 hasRelatedWork W2804695393 @default.
- W3165142541 hasRelatedWork W3121004405 @default.
- W3165142541 hasRelatedWork W86033485 @default.
- W3165142541 hasRelatedWork W2188892352 @default.
- W3165142541 hasVolume "18" @default.
- W3165142541 isParatext "false" @default.
- W3165142541 isRetracted "false" @default.
- W3165142541 magId "3165142541" @default.
- W3165142541 workType "article" @default.