Proof theory aims to capture such semantic notions as entailment in finitary ... An example for this encoding into first-order logic is shown in Fig.4(a); ...
確定! 回上一頁