Contribution aux formalismes logiques