Bonjour à tous,

Je cherche un exemple de logique non modale dont le jeu de connecteur minimal contient plusieurs connecteurs unaires.