How To Use Formal semantics In A Sentence

• I do research in computer science, in the formal semantics of programming languages, and it looks like my subfield is on the verge of a phase change -- I think that very soon paper proofs of theorems will stop being acceptable for publication; we will have to submit formal, machine-checked proofs. Memetic Suicide, Bryan Caplan | EconLog | Library of Economics and Liberty
  0 0
• It played a major role in debates over the ontology of general relativity and was an important part of the background to the development of the modern concept of categoricity in formal semantics (for more on the history, influence, and demise of the principle of univocalness, see Howard 1992 and 1996). Einstein's Philosophy of Science
  0 0
• It is closer in kind to what is termed "categoricity" in formal semantics, a categorical theory being one whose models are all isomorphic to one another. Einstein's Philosophy of Science
  0 0