1. Asser, G.: Einfürhung in die mathematische Logik, Teil 1: Aussagenkalkül. Teubner, Leipzig (1959)
2. Avron, A.: Non-deterministic matrices and modular semantics of rules. In: Beziau, J.-Y. (ed.) Logica Universalis – Towards a General Theory of Logic, pp. 155–174. Birkhäuser, Basel (2005)
3. Beziau, J.-Y.: Calcul des séquents pour logique non-alèthique. Log. Anal., 125–126, 143–155 (1989)
4. Beziau, J.-Y.: Nouveaux résultats et nouveau regard sur la logique paraconsistante C1. Log. Anal., 141–142, 45–58 (1993)
5. Beziau, J.-Y.: Universal logic. In: Childers, T., Majer, O. (eds.) Proceedings of the 8th International Colloquium – Logica’94, pp. 73–93. Czech Academy of Sciences, Prague (2004)