Las lenguas de esta categoría guardan cierta relación con las lenguas lógicas.