| Volume 1, Number 1
June 2014
Contents Homogenous and Heterogeneous Logical Proportions . . . . . . . . . . . . 1 Henri Prade and Gilles Richard
Partially Commutative Linear Logic and Lambek Caculus with Product: Natural Deduction, Normalisation, Subformula Property . . . . . . . . . . 53 Maxime Amblard and Christian Retore
Tools for Conviviality in Multi-Context Systems . . . . . . . . . . . . . . . 95 Antonis Bikakis, Patrice Caire and Yves Le Traon
Finiteness of Plays . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115 Nicolas Clerbout
Systems of Interacting Argumentation Networks . . . . . . . . . . . . 131 Dov Gabbay
How Robust Can Inconsistency Get . . . . . . . . . . . . 177 John Woods
30 June 2014
978-1-84890-149-0
For Digital Download:Click here
|