Logical Argumentation Principles, Sequents, and Nondeterministic Matrices.

Esther Anna Corsi Christian G. Fermüller

Published in: LORI (2017)

Keyphrases

linear logic
sequent calculus
inference rules
logical framework
logical representation
object oriented
fixed point
singular value decomposition
argumentation frameworks
pairwise comparison
argumentation systems
practical reasoning
argumentation skills