Publications/papers chronological

J.-Y.Béziau, “What is "formal logic"?”, forthcoming.

J.-Y.Béziau, “A new four-valued approach to modal logic”, forthcoming.

J.-Y.Béziau, “Adventures in the paraconsistent jungle”, in Handbook of Paraconsistency, King's College, 2007.

J.-Y.Béziau, “Sentence, proposition and identity”, Synthese, 154 (2007), pp.371-382.

J.-Y.Béziau, “Many-valued and Kripke semantics”, in J. van Benthem et al. (eds), The age of alternative logics, Springer, Dordrecht, 2006, pp.89-101.

J.-Y.Béziau, “Paraconsistent logic!”, Sorites, 17 (2006), pp.17-26.

J.-Y.Béziau, “13 Questions about universal logic”, Bulletin of the Section of Logic, 35 (2006), pp.133-150.

J.-Y.Béziau, “Transitivity and paradoxes”, in J.Skilters (ed), The Baltic International Yearbook of Cognition, Logic and Communication, University of Riga, Riga, 2006, pp.207-211.

J.-Y.Béziau, “Les axiomes de Tarski”, in R.Pouivet and M.Rebuschi (eds), La philosophie en Pologne 1918-1939, Vrin, Paris, 2006, pp.135-149.

J.-Y.Béziau, “The paraconsistent logic Z - A possible solution to Jaskowski's problem”, Logic and Logical Philosophy, 15 (2006), pp.99-111

J.-Y.Béziau and M.E.Coniglio, “Combining conjunction with disjunction”, in Proceedings of IICAI-05: 2nd Indian International Conference on Artificial Intelligence, Bhanu Prasad (ed), 2005, pp. 1648-1658

J.-Y.Béziau, “Les universités face à la globalisation: vers une université mondiale?”, in Journéee de l'Unesco 2004, vol.10, F.Naishtat (ed), Unesco, Paris, 2006, pp.207-211

J.-Y.Béziau, “Paraconsistent logic from a modal viewpoint”, Journal of Applied Logic, 3 (2005), pp.7-14.

J.-Y.Béziau, “From consequence operator to universal logic: a survey of general abstract logic”, in Logica Universalis, J.-Y.Béziau (ed), Birkhäuser, Basel, 2005, pp.3-17.

N.C.A. da Costa, J.-Y.Béziau & O.A.S.Bueno, “On the Usefulness of Paraconsistent Logic” in D.Vanderveken (ed), Logic, Thought and Action, Springer, Dordrecht, 2005, pp.465-478

J.-Y.Béziau, “Le Château de la Quantification et ses Fantômes Démasqués”, in La quantification dans la logique moderne, P.Joray (ed), L'harmattan, Paris, 2005, pp.211-260.

P.Suppes and J.-Y.Béziau, “Semantic computation of truth based on associations already learned”, Journal of Applied Logic, 2 (2004), pp.457-467.

J.-Y.Béziau, “A paradox in the combination of logics’, in Workshop on Combination of Logics: Theory and Applications, W.A.Carnielli, F.M.Dionisio and P.Mateus (ed), IST, Lisbon, 2004, pp.75-78.

A.Buchsbaum and J.-Y.Béziau, “Introduction of implication and generalization in axiomatic calculi”, in Aspects of Universal Logic, J.-Y.Béziau, A.Costa-Leite and A.Facchini (eds), Université de Neuchâtel, Neuchâtel, 2004, pp.231-254

J.-Y.Béziau, “What is the principle of identity? (identity, logic and congruence)”, in Logica: teoria, aplicacoes e reflexoes, F.T.Sautter and H. de Araujo Feitosa (eds), CLE, Campinas, pp.163-172.

J.-Y.Béziau, “Non truth-functional many-valued semantics”, in Aspects of Universal Logic, J.-Y.Béziau, A.Costa-Leite and A.Facchini (eds), Université de Neuchâtel, Neuchâtel, 2004, pp.199-218

J.-Y.Béziau, “Bivalence, exluded middle and non contradiction’, in The Logica Yearbook 2003, L.Behounek (ed), Academy of Sciences, Prague, 2003, pp.73-84.

J.-Y.Béziau, “New light on the square of oppositions and its nameless corner”, Logical Investigations, 10, (2003), pp.218-232.

J.-Y.Béziau, “Quine on identity”, Principia, 7 (2003), pp.1-15.

J.-Y.Béziau, “Are paraconsistent negations negations ? ”, in Paraconsistency: the logical way to the inconsistent, W.Carnielli et al. (eds), Marcel Dekker, New-York, 2002, pp.465-486.

J.-Y.Béziau, “S5 is a paraconsistent logic and so is first-order classical logic”, Logical Investigations, 9, (2002), pp.301-309.

J.-Y.Béziau, “La théorie des ensembles et la théorie des catégories: présentation de deux soeurs ennemies du point de vue de leurs relations avec les fondements des mathématiques”, Boletín de la Asociación Matemática Venezolana, 9 (2002), pp.45-53.

J.-Y.Béziau, “The philosophical import of Polish logic”, in Methodology and philosophy of science at Warsaw University, M.Talasiewicz (ed.), Semper, Warsaw, 2002 pp.109-124.

J.-Y.Béziau, “What is classical propositional logic?”, Logical Investigations, 8 (2001), pp.266-277.

J.-Y.Béziau, ”From paraconsistent to universal logic”, Sorites, 12 (2001), pp.5-32.

J.-Y.Béziau, “The logic of confusion”, in Proceedings of the International Conference of Artificial Intelligence IC-AI’2002, H.R.Arabnia (ed), CSREA Press, Las Vegas, 2001, pp.821-826.

J.-Y.Béziau, “Sequents and bivaluations”, Logique et Analyse, 44 (2001), pp.373-394.

J.-Y.Béziau, “What is paraconsistent logic?”, in Frontiers of paraconsistent logic, D.Batens et al. (eds), Research Studies Press, Baldock, 2000, pp.95-111.

J.-Y.Béziau, “Review Essay of Van Heijenoort by I.H.Anellis”, Modern Logic, 8 (2000), pp.105-117.

J.-Y.Béziau, “Y a-t-il des principes logiques?”, in Princípios – Seu papel na filosofia e nas ciências, L.H.Dutra and C.A.Mortari (eds), NEL, Federal University of Santa Catarina, Florianópolis, 2000, pp.47-54.

J.-Y.Béziau, “La véritable portée du théorème de Lindenbaum-Asser”, Logique et Analyse, 167-168 (1999), pp.341-359.

J.-Y.Béziau, “Classical negation can be expressed by one of its halves”, Logic Journal of the Interest Group in Pure and Applied Logics, 7 (1999), pp.145-151.

J.-Y.Béziau, “Was Frege wrong when identifying reference with truth-value ?”, Sorites, 11 (1999), pp.15-23.

N.C.A. da Costa & J.-Y.Béziau, “La logique paraconsistante”, in La preuve à la lumière de l’intelligence artificielle, J.Sallantin & J.J.Szczeciniarz (eds), Presses Universitaires de France, Paris, 1999, pp.107-115.

J.-Y.Béziau, “The mathematical structure of logical syntax” in Advances in contemporary logic and computer science, W.A.Carnielli and I.M.L.D’Ottaviano (eds), American Mathematical Society, Providence, 1999, pp.1-17.

J.-Y.Béziau, “Rules, derived rules, permissible rules and the various types of systems of deduction”, in Proof, types and categories, E.H.Hauesler and L.C.Pereira (eds), PUC, Rio de Janeiro, 1999, pp.159-184.

J.-Y.Béziau, “A logical analysis of singular terms”, Sorites, 10 (1999), pp.6-14.

J.-Y.Béziau, “The future of paraconsistent logic”, Logical Studies, 2 (1999), pp.1-28.

J.-Y.Béziau, “A sequent calculus for Lukasiewicz’s three-valued logic based on Suszko’s bivalent semantics”, Bulletin of the Section of Logic, 28 (1999), pp.89-97.

J.-Y.Béziau, “Ruth Barcan Marcus est-elle la mère du fils de Wittgenstein ? (Considérations existentialistes sur la formule de Barcan) ”, Manuscrito, 22 (1999), pp.11-27.

N.C.A. da Costa & J.-Y.Béziau, “Définitions, théories des objets et paraconsistance”, Theoria, 32 (1998), pp.367-379.

J.-Y.Béziau, “Idempotent full paraconsistent negations are not algebraizable”, Notre Dame Journal of Formal Logic, 39 (1998), pp.135-139.

J.-Y.Béziau, “Do sentences have identity ?”, in Proceedings of the XXth World Congress of Philosophy, The Paideia Project, Boston, 1998.

D.Krause & J.-Y.Béziau, “Relativizations of the principle of identity”, Logic Journal of the Interest Group in Pure and Applied Logics, 5 (1997), pp.327-338.

J.-Y.Béziau, “What is many-valued logic ?”, in Proceedings of the 27th International Symposium on Multiple-Valued Logic, IEEE Computer Society, Los Alamitos, 1997, pp.117-121.

N.C.A. da Costa & J.-Y.Béziau, “Overclassical logic”, Logique et Analyse, 157 (1997), pp.31-44.

J.-Y.Béziau, “Logic may be simple”, Logic and Logical Philosophy, 5 (1997), pp.129-147.

J.-Y.Béziau, “Identity, logic and structure”, Bulletin of the Section of Logic, 25 (1996), pp.89-94.

N.C.A. da Costa, J.-Y.Béziau & O.A.S.Bueno, “Malinowski and Suszko on many-valued logics : On the reduction of many-valuedness to two-valuedness”, Modern Logic, 6 (1996), pp.272-299.

N.C.A. da Costa & J.-Y.Béziau, “Théorie paraconsistante des ensembles”, Logique et Analyse, 153-154 (1996), pp.51-67.

J.-Y.Béziau, “Negation : what it is and what it is not”, Boletim da Sociedade Paranaense de Matemática, 15 (1995), pp.37-43.

N.C.A. da Costa, J.-Y.Béziau & O.A.S.Bueno, “Aspects of paraconsistent logic”, Bulletin of the Interest Group in Pure and Applied Logics, 4 (1995), pp.597-614.

N.C.A. da Costa, O.A.S.Bueno & J.-Y.Béziau, “What is semantics?”, Sorites, 3 (1995), pp.43-47.

N.C.A. da Costa, J.-Y.Béziau & O.A.S.Bueno, “Paraconsistent logic in a historical perspective”, Logique et Analyse, 150-152 (1995), pp.111-125.

J.-Y.Béziau, “Du Pont’s paradox and the problem of intensional logic”, in Logica’93 - Proceedings of the 7th International Symposium, P.Kolar & V.Svodoba (eds), Prague, 1994, pp.62-65.

J.-Y.Béziau, “De la logique formelle à la logique abstraite”, Boletim da Sociedade Paranaense de Matemática, 14 (1994), pp.41-50.

N.C.A. da Costa & J.-Y.Béziau, “Théorie de la valuation”, Logique et Analyse, 146 (1994), pp.95-117.

N.C.A. da Costa & J.-Y.Béziau, “La théorie de la valuation en question”, in Proceedings of the Ninth Latin American Symposium on Mathematical Logic, M.Abad (ed), Universidad del Sur, Baíha Blanca, 1994, pp.95-104.

J.-Y.Béziau, “Universal logic”, in Logica’94 - Proceedings of the 8th International Symposium, T.Childers & O.Majer (eds), Prague, 1994, pp.73-93.

J.-Y.Béziau, “Théorie législative de la négation pure”, Logique et Analyse, 147-148 (1994), pp.209-225.

J.-Y.Béziau, “La logique abstraite au sein de la mathématique moderne”, Ruch Filozoficzny, 50 (1993), pp.289-293.

J.-Y.Béziau, “Nouveaux résultats et nouveau regard sur la logique paraconsistante C1”, Logique et Analyse, 141-142 (1993), pp.45-58.

J.-Y.Béziau, “La critique Schopenhauerienne de l’usage de la logique en mathématiques”, O Que Nos Faz Pensar, 7 (1993), pp.81-88.

N.C.A. da Costa & J.-Y.Béziau, “Carnot’s logic”, Bulletin of the Section of Logic, 22 (1993), pp.98-105.

J.-Y.Béziau, “O princípio de razão suficiente e a lógica segundo Arthur Schopenhauer”, in Século XIX : O Nascimento da Ciência Contemporânea, F.R.R.Évora (ed), Cle-Unicamp, Campinas, 1992, pp.35-39.

J.-Y.Béziau, “Logiques construites suivant les méthodes de da Costa”, Logique et Analyse, 131-132 (1990), pp.259-272.

J.-Y.Béziau, “Calcul des séquents pour logique non-alèthique”, Logique et Analyse, 125-126 (1989), pp.143-155.