minimal logic

A minimal logic is a logic whose theorems include neither the principle of excluded middle nor the law of noncontradiction. That is:

Author: Nicholas Coltharp

Created: 2026-01-19 Mon 00:00

Validate