logical language

noun1

1. •
   (rare) A language designed to allow (or enforce) unambiguous statements; a loglang.

   • The most famous logical language is “Lojban,” an offshoot of Loglan started in 1955 by James Cooke Brown and maintained by the “Logical Language Group” since 1987. — 2007