Some algebraic clues towards a syntactic view on the Principles of Non-Contradiction and Excluded-Middle.