Symlog

MaRDI QIDQ44334swMATHFDO

Official website https://link.springer.com/chapter/10.1007%2F3-540-58156-1_64

Described by source

• \textit{Symlog}. Automated advice in Fitch-style proof construction

Cited in

(4)

• Automated proof-searching for strong Kleene logic and its binary extensions via correspondence analysis
• THINKER
• 3TAP
• Human rationality challenges universal logic

This page was built for software: Symlog