Yoshihiro Maruyama. First-Order Typed Fuzzy Logics and their Categorical Semantics: Linear Completeness and Baaz Translation via Lawvere Hyperdoctrine Theory. In 29th IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2020, Glasgow, UK, July 19-24, 2020. pages 1-8, IEEE, 2020. [doi]
@inproceedings{Maruyama20-2,
title = {First-Order Typed Fuzzy Logics and their Categorical Semantics: Linear Completeness and Baaz Translation via Lawvere Hyperdoctrine Theory},
author = {Yoshihiro Maruyama},
year = {2020},
doi = {10.1109/FUZZ48607.2020.9177695},
url = {https://doi.org/10.1109/FUZZ48607.2020.9177695},
researchr = {https://researchr.org/publication/Maruyama20-2},
cites = {0},
citedby = {0},
pages = {1-8},
booktitle = {29th IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2020, Glasgow, UK, July 19-24, 2020},
publisher = {IEEE},
isbn = {978-1-7281-6932-3},
}