Existen varias lógicas demostrativas, algunas de las cuales están tratadas en la literatura en la sección de referencias.