The following pages link to (Q4281253):
Displaying 10 items.
- Finding explanations of inconsistency in multi-context systems (Q460632) (← links)
- An approach to characterize graded entailment of arguments through a label-based framework (Q511660) (← links)
- A labeled argumentation framework (Q901086) (← links)
- Reasoning with limited resources: active logics expressed as labelled deductive systems (Q992074) (← links)
- Multicomponent proof-theoretic method for proving interpolation properties (Q1799040) (← links)
- Through an Inference Rule, Darkly (Q3305631) (← links)
- (Q3358715) (← links)
- Parsing natural language using LDS: a prototype (Q4357321) (← links)
- (Q4698607) (← links)
- Strongly analytic tableaux for normal modal logics (Q5210808) (← links)