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...
|