Logical AI Software Specification & Reasoning: GSSOTC

Tau Language is a logical AI language enabling Software & AI specification with advanced AI capabilities.

Sign up to receive newsletters to learn more about Tau

Related Posts

Using First-Order Theories of Boolean Algebras to Provide Safe AI Systems and a Novel Software Specification Logic

This patent is about a specification language with unique properties of high expressiveness while retaining decidability, software synthesis and referring to its own sentences.

Theories and Applications of Boolean Algebras – Updated Version 0.29

Work-in-progress draft version 0.29.

Theories and Applications of Boolean Algebras – Updated Version 0.25

Work-in-progress draft version 0.25.

Menu

Start Building

Technical Support