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 |
|