Implications-as-Rules vs. Implications-as-Links: An Alternative Implication-Left Schema for the Sequent Calculus
Peter Schroeder-HeisterVolume:
40
Language:
english
Pages:
7
DOI:
10.1007/s10992-010-9149-z
Date:
February, 2011
File:
PDF, 237 KB
english, 2011