搜索结果: 1-3 共查到“逻辑学 Language”相关记录3条 . 查询时间(0.249 秒)
1
Guarded Quantification in Least Fixed Point Logic McColm,Gregory; Journal of Logic, Language and Information； 0925-8531； 200424 ; 13卷1 期 ； 61-110 页 文摘：
We develop a variant of Least Fixed Point ...
From their first beginnings in ancient Greece and India, logic and the study of language have been closely entwined. Logic takes its source in the process of reasoning; language is the basic means for...
The Centre for Logic, Language and Computation was established in February 2001. CLLC consists of people from mathematics, computer science, philosophy and linguistics.
Mathematics and computer scien...