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

Updated:  30 May 2024 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers