Publications of
Arnon Avron, Jonathan Ben-Naim, Beata Konikowska
Cut-Free Ordinary Sequent Calculi for Logics Having Generalized Finite-Valued Semantics
In : Logica Universalis, Birkhäuser, Vol. 1 N. 1, pp. 41-70, 2007.
Arnon Avron, Jonathan Ben-Naim, Beata Konikowska
Logics of Reasonable Information Sources (regular paper)
In : International Symposium on Multiple-Valued Logic, Casa Convalescència, Barcelone, Espagne, 26/05/10-28/05/10, IEEE Computer Society – Conference Publishing Services, pp. 61-66, 2010.
Arnon Avron, Jonathan Ben-Naim, Beata Konikowska
Processing Information from a Set of Sources
In : Towards Mathematical Philosophy. David Makinson, Jacek Malinowski, Heinrich Wansing (Eds.) , Springer, pp. 165-186, Vol. 28, Trends in Logic, 2009.
Arnon Avron, Jonathan Ben-Naim, Beata Konikowska
Logics Based on Source-Processor Systems
Présentation orale. 2006. Dans : Logic Colloquium, Nijmegen, the Netherlands, 27/07/2006-02/08/2006