• LoTREC是一个画面定理者设计的学生和研究人员，处理模式的逻辑的方式实现的。

    它可以让你创建的一个逻辑的理由创造一套连接器，规则和战略。 所有项目将用以测试的逻辑式。

  • LoTREC एक झांकी प्रमेय prover के लिए डिजाइन के छात्रों और शोधकर्ताओं के साथ सौदा है कि मोडल तर्क कार्यान्वयन.

    यह आपको अनुमति देता है बनाने के लिए एक तर्क प्रमेय बनाने के द्वारा एक सेट के कनेक्टर्स, नियमों और रणनीतियों. सभी आइटम इस्तेमाल किया जाएगा क्रम में परीक्षण करने के लिए तार्किक फार्मूला है ।

  • LoTREC is a tableau theorem prover designed for the students and researchers that deal with modal logic implementations.

    it allows you to create a logic theorem by creating a set of connectors, rules and strategies. All the items will be used in order to test the logical formula.