将证成逻辑里的加号解释为证成集的联集.pdfVIP

StudiesinLogic,Vol.10,No.2(2017):81–98 PII:1674-3202(2017)-02-0081-18 InterpretingthePlusSigninJustification Logic as theUnionofSets ofJustifications Ren-JuneWang PhilosophyDepartment,NationalChung-ChengUniversity rjwang@.tw Abstract. In the study of justification logic, the role played by the proof term operator always needs further explication. In this paper we will clarify its function in the project, and propose a variant justification logical syste