论文部分内容阅读
出于语言学的动机，给出著名的Lambek逻辑L的一个扩充L^nom．在L^nom中，引入名词化的公理与规则．系统L^nom关于修正幂集剩余半群语义是可靠和完全的．
Lambek逻辑的名词化扩充
【摘 要】
：
出于语言学的动机，给出著名的Lambek逻辑L的一个扩充L^nom．在L^nom中，引入名词化的公理与规则．系统L^nom关于修正幂集剩余半群语义是可靠和完全的．
【机 构】
：
中山大学逻辑与认知研究所
【出 处】
：
南京大学学报：数学半年刊
【发表日期】
：
2007年2期
其他文献
山东省禹城市供销社实施科技工业带动战略，与科研院所挂靠联合，调整结构上高科技项目，以低聚糖生产为骨干企业，工业经济强劲发展。1999年完成销售收入4．95亿元，社办工业产值3．25亿元
湖南双峰县梓门供销社商场坐落在长——邵320国道双峰地段，拥有营业面积1000平方米，员工19人，下设农资、南货、药柜、小百货、针纺、五金、鞋帽7个柜组，是全县供销社系统一个中型
天津市蓟县供销社把经济结构的战略性重组作为今年工作的重中之重，本着“有进有退、有所为有所不为”的方针，着力在经营结构、产品结构、业态结构、组织结构4个方面加大调整力
自79年以来，我们坪坝供销社经受住了各种风浪的考验，稳步发展，连年盈利，已连续20年经营无亏损，多次被授予“省级先进企业”、“模范合作社”、“双文明单位”、“红旗单位”等荣誉
四川省广汉市高骈供销合作社改革开放以来，一直坚持为社员生产、生活服务的优良传统，不断战胜困难，实现了年年盈利，持续健康发展。近20年来共实现利润307万元，公共积累(社有资本)
随着国务院[1999]5号文件的贯彻落实，供销社的组织管理体制发生了重大变化，我们必须不断解放思想，突破传统的思维定势，真正按照市场经济规律的要求，以供销社现代企业制度为切入口，
本文对线性和非线性纵向数据模型进行Bayes统计诊断,其中包括对数据删除模型（CDM）和均值漂移模型（MOSM）诊断.当MSOM中的漂移参数服从无信息先验（不管其余参数服从何种先验分布）,且
本文试图以弗协调模态逻辑CnG′为基础，建立一种弗协调认知逻辑CnEK．