Higher-Order Fuzzy Logics and their Categorical Semantics: Higher-Order Linear Completeness and Baaz Translation via Substructural Tripos Theory.
Yoshihiro MaruyamaPublished 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