Menu of Reliability


Propositional Logic (PL)


Description Logic (DL)


Effectively Propositional Logic (EPR)


Clause Normal Form (CNF)


First-order Form (FOF)


Typed First-order Form (TF0)


Typed First-order Form with Arithmetic (TFA)


Polymorphic Typed First-order Form (TF1)


Extended Typed First-order Form (TFX)


Typed Higher-order Form (TH0)


Polymorphic Typed Higher-order Form (TH1)


Extended High-order Form (THX)