| Title |
Proof-search of propositional intuitionistic logic sequents by means of classical logic calculus |
| Translation of Title |
Propozicinės intuicionistinės logikos sekvencijų įrodymo paieška naudojant klasikinės logikos skaičiavimą. |
| Authors |
Alonderis, Romas |
| DOI |
10.15388/LMR.2008.18105 |
| Full Text |
|
| Is Part of |
Lietuvos matematikos rinkinys.. Vilnius : Vilniaus universiteto leidykla. 2008, t. 48/49, p. 256-262.. ISSN 0132-2818. eISSN 2335-898X |
| Keywords [eng] |
theorem, Glivenko ; calculus, sequent classical propositional ; calculus, sequent intuitionistic propositional |
| Abstract [eng] |
In the paper, we define some classes of sequents of the propositional intuitionistic logic. These are classes of primarily and α-primarily reducible sequents. Then we show how derivability of these sequents in a propositional intuitionistic logic sequent calculus LJ_0 can be checked by means of a propositional classical logic sequent calculus LK_0. |
| Published |
Vilnius : Vilniaus universiteto leidykla |
| Type |
Conference paper |
| Language |
English |
| Publication date |
2008 |
| CC license |
|
