Proof analysis in intermediate logics.
| Autor: | Dyckhoff, Roy1 rd@st-andrews.ac.uk, Negri, Sara2 sara.negri@helsinki.fi |
|---|---|
| Zdroj: | Archive for Mathematical Logic. Feb2012, Vol. 51 Issue 1/2, p71-92. 22p. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|
| Autor: | Dyckhoff, Roy1 rd@st-andrews.ac.uk, Negri, Sara2 sara.negri@helsinki.fi |
|---|---|
| Zdroj: | Archive for Mathematical Logic. Feb2012, Vol. 51 Issue 1/2, p71-92. 22p. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|