Syntactic Cut-Elimination for Intuitionistic Fuzzy Logic via Linear Nested Sequents.
Tim LyonPublished in: LFCS (2020)
Keyphrases
- linear logic
- cut elimination
- sequent calculus
- fuzzy logic
- inference rules
- sequent calculi
- proof search
- modal logic
- natural deduction
- neural network
- logic programming
- fixed point
- desirable properties
- proof theoretic
- linear time temporal logic
- expert systems
- natural language
- genetic algorithm
- fuzzy sets
- logical framework
- fuzzy set theory
- control system
- state space
- bayesian networks
- artificial intelligence