formal system Synonyms

logic logical system legal system logical calculus