내포된 시퀀스 미적분학

Nested sequent calculus

구조적 증명 이론에서 내포된 시퀀스 미적분학은 깊은 추론을 허용하기 위해 시퀀스 미적분학을 재구성하는 것이다.[1]

참조

  1. ^ Alwen Tiu; Egor Ianovski; Rajeev Goré. "Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures" (PDF). citeseerx.ist.psu.edu. p. 1. Retrieved 6 January 2021.


Stub icon

이 수학적 논리 관련 논문은 단조롭다.위키피디아를 확장하여 도울 수 있다.