Login / Signup
Higher-Order Fuzzy Logics and their Categorical Semantics: Higher-Order Linear Completeness and Baaz Translation via Substructural Tripos Theory.
Yoshihiro Maruyama
Published in:
FUZZ-IEEE (2021)
Keyphrases
</>
higher order
higher order logic
low order
high order
proof theory
anti unification
pairwise
natural images
conditional logic
proof theoretic
propositional calculus
conditional random fields
markov random field
lambda calculus
membership functions
machine translation
fuzzy clustering
logical framework
lower order
fuzzy sets
valued logic
fuzzy variable
propositional dynamic logic
general theory
fuzzy numbers
semantic information
rough sets
data model