First-Order Typed Fuzzy Logics and their Categorical Semantics: Linear Completeness and Baaz Translation via Lawvere Hyperdoctrine Theory.
Yoshihiro MaruyamaPublished in: FUZZ-IEEE (2020)
Keyphrases
- conditional logic
- valued logic
- higher order
- proof theory
- proof theoretic
- model theoretic
- higher order logic
- classical first order logic
- fuzzy sets
- logic programming
- first order logic
- default reasoning
- logical theories
- epistemic logic
- fuzzy variable
- modal logic
- propositional dynamic logic
- modal operators
- expressive power
- nonmonotonic logics
- classical logic
- fuzzy logic
- dynamic logic
- operational semantics
- belief revision
- decision procedures
- sound and complete with respect
- action theories
- predicate calculus
- propositional logic
- data exchange
- abstract argumentation
- rough sets
- fuzzy rules
- machine translation
- computational properties
- speech acts
- logical framework
- formal semantics
- categorical data
- inference rules
- membership functions