algèbre de Lindenbaum

Concept

algèbre des opérations sur une théorie logique à équivalence près

Traduit de l’anglais automatiquement — non relu. « algebra of the operations on a logical theory up to equivalence »

Sources