Higher-Order Fuzzy Logics and their Categorical Semantics: Higher-Order Linear Completeness and Baaz Translation via Substructural Tripos Theory

Author(s):  
Yoshihiro Maruyama
Sign in / Sign up

Export Citation Format

Share Document