wpko ¶
최대한 공리,axiom를 배제하고 오로지 구문적인 추론규칙,inference_rule을 사용한 증명,proof을 하는 것을 특징으로.
(이것은 많은 공리들을 이용하는 힐베트르 체계 Hilbert_system 와 대조됨)
이건 sequent_calculus(rel. 시퀀트,sequent)와 비슷한설명인데?? chkout
시퀀트_계산)
(이것은 많은 공리들을 이용하는 힐베트르 체계 Hilbert_system 와 대조됨)
이건 sequent_calculus(rel. 시퀀트,sequent)와 비슷한설명인데?? chkout
시퀀트_계산)