Situation theory

Situation theory provides the mathematical foundations to situation semantics, and was developed by writers such as Jon Barwise and Keith Devlin in the 1980s. Due to certain foundational problems, the mathematics was framed in a non-well-founded set theory. One could think of the relation of situation theory to situation semantics as like that of type theory to Montague semantics.

单词	Situation theory
释义	Situation theory 英语百科 Situation theory Situation theory provides the mathematical foundations to situation semantics, and was developed by writers such as Jon Barwise and Keith Devlin in the 1980s. Due to certain foundational problems, the mathematics was framed in a non-well-founded set theory. One could think of the relation of situation theory to situation semantics as like that of type theory to Montague semantics.
随便看	contract of combining supplies of industrial goods and purchase of farm produce contract of commission agency contractof compensation contract of compensation contract of compromise contract of conisderation contract of consideration contract of consignment contract of cooperation contract of copartnery contract of delivery Contract of deposit Contract of Domestic Carriage of Passengers by Sea Contract of Employment contract of engagement contract of exchange contract offer contract offers contract officer contract of future delivery contract of gift contract of guarantee contract of guaranty contract of hazard contract of hire