1. In other words, they showed that empirical facts on intermediate syllogisms form a multi-valued algebra.

Ils ont ainsi montré que les faits empiriques des syllogismes intermédiaires forment une algèbre multivaluée.