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.
Dautovic, S. and Zekic, M. (2021). Fuzzy logic and enriched categories. Iranian Journal of Fuzzy Systems, 18(3), 1-11. doi: 10.22111/ijfs.2021.6077
MLA
Dautovic, S. , and Zekic, M. . "Fuzzy logic and enriched categories", Iranian Journal of Fuzzy Systems, 18, 3, 2021, 1-11. doi: 10.22111/ijfs.2021.6077
HARVARD
Dautovic, S., Zekic, M. (2021). 'Fuzzy logic and enriched categories', Iranian Journal of Fuzzy Systems, 18(3), pp. 1-11. doi: 10.22111/ijfs.2021.6077
CHICAGO
S. Dautovic and M. Zekic, "Fuzzy logic and enriched categories," Iranian Journal of Fuzzy Systems, 18 3 (2021): 1-11, doi: 10.22111/ijfs.2021.6077
VANCOUVER
Dautovic, S., Zekic, M. Fuzzy logic and enriched categories. Iranian Journal of Fuzzy Systems, 2021; 18(3): 1-11. doi: 10.22111/ijfs.2021.6077
)