<<
>>

Tableau to Quasi-Realization Algorithm Correctness

This section is devoted to showing the correctness of Algorithm 7.21, hence proving Theorem 7.18.

Correctness for Tableau to Quasi-Realization Algorithm We need an argument for each case of Algorithm 7.21.

7.10

<< | >>
Source: Artemov S., Fitting M.. Justification Logic: Reasoning with Reasons. Cambridge: Cambridge University Press,2019. — 271 p.. 2019

More on the topic Tableau to Quasi-Realization Algorithm Correctness:

  1. Contents
  2. WhatWeDoHere