A Cut-Free Gentzen Formulation of Basic Propositional Calculus
| Autor: | Kikuchi, Kentaro, Sasaki, Katsumi |
|---|---|
| Zdroj: | Journal of Logic, Language, and Information, 2003 Jan 01. 12(2), 213-225. |
| Databáze: | JSTOR Journals |
| Externí odkaz: |
|
| Autor: | Kikuchi, Kentaro, Sasaki, Katsumi |
|---|---|
| Zdroj: | Journal of Logic, Language, and Information, 2003 Jan 01. 12(2), 213-225. |
| Databáze: | JSTOR Journals |
| Externí odkaz: |
|
Full text from SpringerLink