Symlog

swMATH32623MaRDI QIDQ44334FDOQ44334

Author name not available (Why is that?)

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 (3)

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

This page was built for software: Symlog