J.-Y.Béziau, “Monosequent proof systems” in C.Caleiro, F.Dionisio, P.Gouveia, P.Mateus and J.Rasga (eds) Logic and Computation - Essays in Honour of Amilcar Sernadas, College Publication, London, 2017, pp.111-137.

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

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, “Sequents and bivaluations”, Logique et Analyse, 44 (2001), pp.373-394.

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 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, “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.