View of Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis

Return to Article Details Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis Download Download PDF