Natural deductive system

Keyword: Natural deductive system

Article in Journal | Posted 21/01/2015
Sun-Joo, Shin (1999). Reconstituting Beta Graphs into an Efficacious System
Logicians have strongly preferred first-order natural deductive systems over Peirce's Beta Graphs even though both are equivalent to each other. One of the main reasons for this preference, I...