Implications-as-Rules vs. Implications-as-Links: An Alternative Implication-Left Schema for the Sequent Calculus
| Autor: | Schroeder-Heister, Peter |
|---|---|
| Zdroj: | Journal of Philosophical Logic, 2011 Feb 01. 40(1), 95-101. |
| Databáze: | JSTOR Journals |
| Externí odkaz: |
|