記号が制限された古典/直観主義２階命題論理について Export

@misc{citeulike:3992868, abstract = {古典論理の体系LKと直観主義論理の体系LJにおいて、論理記号を∧, ¬, ∃ に制限した場合に証明可能な論理式の集合が等しくなることを示す。ここで∃ は命題変数に対する量化記号である。}, author = {{わ}}, citeulike-article-id = {3992868}, citeulike-linkout-0 = {http://www.kjps.net/user/myumbrella/touhyou/logic/2nd_pro.pdf}, comment = {龍田先生が似たようなことをやっていたような}, keywords = {classical-logic, intuitionism}, posted-at = {2009-02-02 12:52:15}, priority = {2}, title = {記号が制限された古典/直観主義２階命題論理について}, url = {http://www.kjps.net/user/myumbrella/touhyou/logic/2nd_pro.pdf} }

TY - GEN ID - citeulike:3992868 L3 - citeulike-article-id:3992868 N2 - 古典論理の体系LKと直観主義論理の体系LJにおいて、論理記号を∧, ¬, ∃ に制限した場合に証明可能な論理式の集合が等しくなることを示す。ここで∃ は命題変数に対する量化記号である。 TI - 記号が制限された古典/直観主義２階命題論理について KW - classical-logic KW - intuitionism N1 - 龍田先生が似たようなことをやっていたような UR - http://www.kjps.net/user/myumbrella/touhyou/logic/2nd_pro.pdf ER -