Otros sistemas formales permiten teorizar sobre otros tipos de argumentos.