轻轨运输系统lrt源起于欧洲街道电车street car ,街道电车一度在都市捷运化与私人机动化的浪潮冲击下迅速没落,但随著都会地区机动车辆不断增加,道路交通阻塞噪音环境破坏排放废气污染问题严重恶化之际,轻轨车辆技术已不断提升,具备小转弯半径能力的联结式车厢模组化列车编组车厢断面长度加大加长低地板车厢流线型车厢设计,搭配先进控制系统及弹性的路权型式,使现代化轻轨系统具备有与生活空间结合重视环境问题与社会情势并活用进化街车之都市交通工具等特徵与优点,如高性能轻轨列车与汽车共存,低底盘的车厢创造无障碍车站空间,道路即是车站设备,旅客可以在街区上下车,提供沿线居民高度的便利性,消除交通堵塞噪音及空气污染等,轻轨系统并与街景充分的调和,成为活动的都市意象。
本文在格值命题逻辑系统lp ( x )和格值一阶逻辑系统lf ( x )的基础上,讨论了广义格值模态逻辑系统的语义及语法性质,并对其-归结原理做了初步探讨,主要在下述三个方面取得了研究成果:第一部分:关于格值模态命题逻辑系统及其归结方法的研究在此部分,把模态算子n (必然)和p (可能)引入格值命题逻辑系统lp ( x ) ,建立了新的格值模态命题逻辑系统lmp ( x ) ,并研究了它的语义刻画及语法结构,证明了在此语义解释和语法框架下的系统仍是-可靠的和协调的;在此基础上,进一步研究了基于格值模态命题逻辑系统lmp ( x )的-归结原理,给出了计算-直接归结式和-自归结式的规则,并总结出具体的归结方法。