他创立了泛逻辑 (Logica Universalis) 期刊 学术期刊和泛逻辑研究(Studies in Universal Logic)系列并担任主编。 学术著作 「泛逻辑:走向一个逻辑的一般性理论,Basel, Birkhäuser Verlag, 2005, 第二版 2007年。
基于16个网页-相关网页
文章最后还介绍了世界泛逻辑研究动态和第二届世界泛逻辑大会,希望引起大家的注意。
Finally, the world universal logic research status and the 2nd world Congress on universal logic are introduced in the article, hoping to bring everybody's attention.
本文首次对泛逻辑的广义重言式理论进行研究。
Generalized tautologies theories of universal logic are studied for the first time.
以泛布尔代数理论为依据,以城市主干道十字路口为研究对象,设计了一种新的交通灯逻辑控制模型。
Pan Boolean algebra-based logical control model of the traffic light is designed in this paper, with an illustration of crossroads in the urban trunk roads.
应用推荐