formal semantics

from WordNet (r) 3.0 (2006)
formal semantics
    n 1: the branch of semantics that studies the logical aspects of
         meaning
    

[email protected]