Streamlining Input/Output Logics with Sequent Calculi.
Agata CiabattoniDmitry RozplokhasPublished in: CoRR (2023)
Keyphrases
- input output
- sequent calculi
- conditional logic
- modal logic
- cut elimination
- fuzzy model
- noise cancellation
- internal states
- default reasoning
- state transition
- fuzzy neural network
- data envelopment analysis
- fuzzy inference system
- inference rules
- belief revision
- nonmonotonic reasoning
- decision procedures
- single phase
- fuzzy controller