Formal logical system