Download MetTeL

You can download the binary of MetTeL using following link. Meanwhile, since MetTeL is released under GPLv3, you may get the source code by contacting us.

2012-01 v2.0-354 Completely reimplemented for the purpose of generating implemented tableau provers. User can define syntax of logical operators and tableau rules to be used.
Publication: MetTeL2 system description.
2011-03 v1.0-197 Logic-Independent Inference Engine, user can specify tableau rules to be used.
Publication: MetTeL1 system description.
Manual:MetTeL1 manual.
2010 v0.99-2 The first prover for description logic ALBOid. For the following predefined non-classical logics:

  • Classical propositional logic
  • Intuitionistic propositional logic
  • Hybrid logic HL(@, u) with the universal modality
  • The logic MT of metric and topology
  • All sublogics of the description logic ALBOid

Comments are closed.