Modal logic model checker Meth8/VŁ4 in production

Meth8/VŁ4 implements Łukasiewicz' B4 quaternary logic of the four-valued 2-tuple {11, 10, 01, 00} as {proof, falsity, truthity, contradiction}.

Results of testing over 1000 assertions in 200 artifacts of math and physics, with a 77% refutation rate, are at ( and in over 90 papers at by Colin James III.

Pricing is $97 per academic seat.

BTW, we invented a novel way to meter product usage but without web-site key access or asymmetric key encryption, so the installer and wrapper is exportable and not subject to ITARS.

Colin: (719) 210-9534; info@cec-services dot com