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.
Sophia
cheers, thanks
Reply
Emerson
LoTREC کے سیریل نمبر کیلئے شکریہ
Reply