Semantics
摘要
Let \(L = \left( {\mathcal{B},\mathcal{C}} \right)\) be a language of Alonzo. In this chapter we will define the semantics of L.