C. Mohammad-afshar, D. Dartnell, J. Luzeaux, Y. Sallantin, and . Tognetti, Aristotle's square revisited to frame discovery science, Journal of Computers, vol.2, issue.5, pp.54-66, 2007.

]. Béz02 and . Béziau, S5 is a paraconsistent logic and so is first-order logic, Logical Investigations, vol.9, pp.301-309, 2002.

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

]. Béz05 and . Béziau, Paraconsistent logic from a modal viewpoint, Journal of Applied Logic, vol.3, pp.7-14, 2005.

]. R. Bla57 and . Blanché, IntroductionàIntroduction`Introductionà la logique contemporaine, 1957.

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

]. W. Car00 and . Carnielli, Possible-translations semantics for paraconsistent logics, Frontiers of Paraconsistent Logic. Studies in Logic and Computation, 2000.

W. A. Carnielli and M. Lima-marques, Society semantics and multiple-valued logics, XII Encontro Brasileiro de Lógica -Advances in contemporary logic and computer science Series Contemporary Mathematics, pp.33-52, 2005.
DOI : 10.1090/conm/235/03464

M. Davio, J. P. Deschamps, and A. Thayse, Discrete and switching functions, 1978.

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

K. Do?en, Negative modal operators in intuitionistic logic, pp.3-14, 1984.

]. J. Fon86 and . Font, Modality and possibility in some intuitionistic modal logics, Notre Dame Journal of Formal Logic, pp.27-31, 1986.

]. R. Gol05 and . Goldblatt, Mathematical modal logic: a view of its evolution, Handbook of the History of Logic, 2005.

A. Morettipel06-]-r, . [. Pellissier, D. Sallantin, J. Luzeaux, and . Szczéciniarz, Geometry for modalities? Yes: through n-opposition theory Travaux de logique 17 Setting " n-opposition An epistemology of computer science based on a dialectical interaction The Netherlands, Aspects of Universal Logic UNILOG05, (to be published), 2006. [Res69] N. Rescher. Many-valued logic European Conference on Computing and Philosophy, Philosophy and Computer Science track, pp.102-145, 1969.

A. Thayse, Approche logique de l'intelligence artificielle, Tome 1 : de la logique classiquè a la programmation logique. Dunod, 1988.