TIL jakožto specifikační jazyk pro inference v PL1.

Abstract

This thesis seeks to use the strength of Transparent intensional logic, to verify the accuracy of judgments. This work deals with the transfer of structures from transparent intensional logic into the first order predicate logic. The goal was to design and implement an inference machine for verifying the validity of judgments in the first order predicate logic with the use of transparent intensional logic (TIL) as specification language. This is related to the definition of a subset of TIL, which is assignable into the first order predicate logic.