Nikola Ciprich

  • Citations Per Year
Learn More
In the paper we introduce an interpreter of the Transperent Intensional Logic (TIL), namely the TIL-Script language, its design and implementation. TIL is a brainchild of the Czech logician Pavel Tichý and in many ways a revolutionary logical system. The work on the TILScript project is being pursued by the team of undergraduate students. The paper we(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ý 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