T. Parsons, E. N. Zalta, E. Winter, ]. C. Dartnell, and J. Sallantin, The traditional square of opposition Available: http://plato Assisting scientific discovery with an adaptive problem solver, Discovery Science, ser. Lecture Notes in Computer Science, vol.3735, issue.2, pp.99-112, 2005.

J. Sallantin, C. Dartnell, and M. Afshar, A Pragmatic Logic of Scientific Discovery, Discovery Science, ser. Lecture Notes in Computer Science, vol.4265, pp.231-242, 2006.
DOI : 10.1007/11893318_24

URL : https://hal.archives-ouvertes.fr/lirmm-00120020

S. Morley and M. Afshar, Validation of an empirical RNA-ligand scoring function for fast flexible docking using RiboDock??, Journal of Computer-Aided Molecular Design, vol.18, issue.3, pp.189-208, 2004.
DOI : 10.1023/B:JCAM.0000035199.48747.1e

B. Faller and F. Wohnsland, Physicochemical parameters as tools in drug discovery and lead optimisation, Pharmacokinetic optimization in drug research. Testa, Waterbeemd , Folkers and Guy editors, pp.189-208, 2004.

J. Béziau, New light on the square of oppositions and its nameless corner, Logical Investigations, pp.218-233, 2003.

R. Blanché, Structures intellectuelles : essai sur l'organisation systématique des concepts, 1966.

K. Do?en, Intuitionistic double negation as a necessity operator, pp.15-20, 1984.

J. Béziau, S5 is a paraconsistent logic and so is firstorder logic, Logical Investigations, vol.9, pp.301-309, 2002.

A. Moretti, Geometry for modalities? Yes: through nopposition theory, Aspects of Universal Logic

R. Pellissier, ???Setting??? n-Opposition, UNILOG05, 2006.
DOI : 10.1007/s11787-008-0038-y

M. Gardner, Mathematical games, Scientific American, 1959.
DOI : 10.1038/scientificamerican1274-132

D. Chavalarias-de, D. , and C. Polytechnique, La thèse de popper est-elle réfutable, 1997.

D. Angluin and K. , Learning from different teachers, Machine Learning, pp.137-163, 2003.

D. Luzeaux, J. Sallantin, and C. Dartnell, Logical Extensions of Aristotle???s Square, Logica Universalis, 2007.
DOI : 10.1007/s11787-007-0022-y