A Routley-Meyer semantics for relevant logics including TWR plus the disjunctive syllogism.
Gemma RoblesJosé M. MéndezPublished in: Log. J. IGPL (2011)
Keyphrases
- epistemic logic
- conditional logic
- propositional dynamic logic
- proof theory
- proof theoretic
- formal semantics
- nonmonotonic logics
- expressive power
- modal logic
- inference rules
- closely related
- semantic information
- logic programming
- default reasoning
- valued semantics
- neural network
- argumentation frameworks
- datalog programs
- belief revision
- search engine