Symlog

swMATH32623MaRDI QIDQ44334FDOQ44334

Author name not available (Why is that?)

Described by source

• Symlog automated advice in Fitch-style proof construction

Cited In (2)

• Human rationality challenges universal logic
• Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis

This page was built for software: Symlog