Poster

Tuesday, May 6, 20142:00 pmComputational Logic SeminarGraduate Center, rm. 3209

Paraconsistent Justification Logic (II): Quasi-Realization Theorem

Che-Ping Su

The University of Melbourne

Che-Ping Su

Paraconsistent justification logics are justification logic systems for inconsistent beliefs or commitments. In other words, these systems are intended to model the agent’s justification structure, when she has inconsistent beliefs or commitments.

Realization theorem is one important meta-theorem in the discourse of justification logic. Quasi-realization theorem can be taken to be a major step toward proving realization theorem. In the last semester, I introduced one paraconsistent justification logic, called PJ_b. The main focus of the talk on the coming Tuesday is quasi-realization. It will be proved that quasi-realization theorem – which holds for standard justification logic systems – also holds for PJ_b.