Learn More
In the paper we introduce an interpreter of the Transperent Intensional Logic (TIL), namely the T IL-Script language, its design and implementation. TIL is a brainchild of the Czech logician Pavel Tich´y and in many ways a revolutionary logical system. The work on the T IL-Script project is being pursued by the team of undergraduate students. The paper we(More)
  • 1