Aristotle's square revisited to frame discovery science, Journal of Computers, vol.2, issue.5, pp.54-66, 2007. ,
S5 is a paraconsistent logic and so is first-order logic, Logical Investigations, vol.9, pp.301-309, 2002. ,
New light on the square of oppositions and its nameless corner, Logical Investigations, vol.10, pp.218-233, 2003. ,
Paraconsistent logic from a modal viewpoint, Journal of Applied Logic, vol.3, pp.7-14, 2005. ,
IntroductionàIntroduction`Introductionà la logique contemporaine, 1957. ,
Structures intellectuelles : essai sur l'organisation systématique des concepts, 1966. ,
Possible-translations semantics for paraconsistent logics, Frontiers of Paraconsistent Logic. Studies in Logic and Computation, 2000. ,
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
Discrete and switching functions, 1978. ,
Intuitionistic double negation as a necessity operator, pp.15-20, 1984. ,
Negative modal operators in intuitionistic logic, pp.3-14, 1984. ,
Modality and possibility in some intuitionistic modal logics, Notre Dame Journal of Formal Logic, pp.27-31, 1986. ,
Mathematical modal logic: a view of its evolution, Handbook of the History of Logic, 2005. ,
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. ,
Approche logique de l'intelligence artificielle, Tome 1 : de la logique classiquè a la programmation logique. Dunod, 1988. ,