A Gentzen- or Beth-Type System, a Practical Decision Procedure and a Constructive Completeness Proof for the Counterfactual Logics VC and VCS
| Autor: | de Swart, H. C. M. |
|---|---|
| Zdroj: | The Journal of Symbolic Logic, 1983 Mar 01. 48(1), 1-20. |
| Databáze: | JSTOR Journals |
| Externí odkaz: |
|