Higher-Order Fuzzy Logics and their Categorical Semantics: Higher-Order Linear Completeness and Baaz Translation via Substructural Tripos Theory
Keyword(s):
2010 ◽
Vol 30
(4)
◽
pp. 1291-1300
◽
1985 ◽
Vol 37
(2)
◽
pp. 193-197
◽
2009 ◽
pp. NA-NA
◽
Keyword(s):
2017 ◽
pp. 323-334
◽
Keyword(s):
Keyword(s):
2014 ◽
pp. 113-122