First-Order Typed Fuzzy Log... - Researchers

First-Order Typed Fuzzy Logics and their Categorical Semantics: Linear Completeness and Baaz Translation via Lawvere Hyperdoctrine Theory

Citation

Maruyama, Y 2020, 'First-Order Typed Fuzzy Logics and their Categorical Semantics: Linear Completeness and Baaz Translation via Lawvere Hyperdoctrine Theory', 2020 IEEE International Conference on Fuzzy Systems, FUZZ 2020, IEEE, United States, pp. 1-8.

Year

2020

ANU Authors

Dr Yoshihiro Maruyama

Updated: 27 July 2024 / Responsible Officer: Director (Research Services Division) / Page Contact: Researchers