<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Batens, Diderik</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Van Kerkhove, Bart</style></author><author><style face="normal" font="default" size="100%">François, Karen</style></author><author><style face="normal" font="default" size="100%">Ducheyne, Steffen</style></author><author><style face="normal" font="default" size="100%">Allo, Patrick</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Kennissystemen selectief wieden</style></title><secondary-title><style face="normal" font="default" size="100%">Laat ons niet ernstig blijven. Huldeboek voor Jean Paul Van Bendegem</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2018</style></year></dates><publisher><style face="normal" font="default" size="100%">Academia Press</style></publisher><pub-location><style face="normal" font="default" size="100%">Gent, België</style></pub-location><pages><style face="normal" font="default" size="100%">227–244</style></pages><isbn><style face="normal" font="default" size="100%">978-94-014-5589-3</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Batens, Diderik</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Allo, Patrick</style></author><author><style face="normal" font="default" size="100%">Van Kerkhove, Bart</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">The Consistency of Peano Arithmetic. A Defeasible Perspective</style></title><secondary-title><style face="normal" font="default" size="100%">Modestly Radical or Radically Modest. Festschrift for Jean Paul Van Bendegem on the Occasion of His 60th Birthday</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2014</style></year></dates><publisher><style face="normal" font="default" size="100%">College Publications</style></publisher><pages><style face="normal" font="default" size="100%">11–59</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;This paper proposes to replace \sys{PA}, Peano Arithmetic, by a theory \sys{APA} defined in terms of (i)&amp;nbsp;a set of axioms that is classically equivalent to the Peano axioms and (ii)&amp;nbsp;a defeasible logic that minimizes inconsistency, viz.\ an inconsistency-adaptive logic. If \sys{PA} is consistent, its set of theorems coincides with the set of \sys{APA}-theorems. If \sys{PA} is inconsistent, \sys{APA} is non-trivial and has the following remarkable property: there is a unique non-standard number that is its own successor and every `desirable' \sys{PA}-theorem is retained if restricted to the other numbers. The restriction can be expressed in the language of arithmetic. And there is much more.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>10</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">De Mol, Liesbeth</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Primiero, Giuseppe</style></author><author><style face="normal" font="default" size="100%">Allo, Patrick</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Reasoning with computer-assisted experiments in mathematics</style></title><secondary-title><style face="normal" font="default" size="100%">Third Workshop in the Philosophy of Information</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2012</style></year></dates><publisher><style face="normal" font="default" size="100%">Koninklijke Vlaamse Academie van België door Wetenschappen en Kunsten</style></publisher><pages><style face="normal" font="default" size="100%">80-92</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Primiero, Giuseppe</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Allo, Patrick</style></author><author><style face="normal" font="default" size="100%">Primiero, Giuseppe</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">On the necessity of (sometimes) being synthetic. Comment on Poggiolesi.</style></title><secondary-title><style face="normal" font="default" size="100%">Third Workshop in the Philosophy of Information</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2011</style></year></dates><publisher><style face="normal" font="default" size="100%">Koninklijke Vlaamse Academie van België</style></publisher><pub-location><style face="normal" font="default" size="100%">Brussels</style></pub-location><pages><style face="normal" font="default" size="100%">63-68</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Allo, Patrick</style></author><author><style face="normal" font="default" size="100%">Primiero, Giuseppe</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Report 3rd Workshop in the Philosophy of Information</style></title><secondary-title><style face="normal" font="default" size="100%">The Reasoner</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2011</style></year></dates><number><style face="normal" font="default" size="100%">5</style></number><volume><style face="normal" font="default" size="100%">1</style></volume><pages><style face="normal" font="default" size="100%">6-7</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record></records></xml>