今のロジックの主流はモノイダル論理ですね。
これは∧と∨を同一視したものです。
またリテラルはAと¬Aを同一視します。
これは圏論との関連もあって非常に重要な位置を
数学基礎論において担っていますね。
数論はモノイダル論理で書き換えることができます。
例の平方剰余の相互法則もモノイダル論理の一推論規則にすぎないです。