首页   按字顺浏览 期刊浏览 卷期浏览 Many-dimensional arrow logics
Many-dimensional arrow logics

 

作者: Dimiter Vakarelov,  

 

期刊: Journal of Applied Non-Classical Logics  （Taylor Available online 1996）
卷期: Volume 6, issue 4  

页码: 303-345

 

ISSN:1166-3081

 

年代: 1996

 

DOI:10.1080/11663081.1996.10510890

 

出版商: Taylor & Francis Group

 

关键词: arrow structures;directed multi-graphs;modal logics;arrow logics

 

数据来源: Taylor

 

摘要:

The notion of n-dimensional arrow structure is introduced, which for n = 2 coincides with the notion of directed multi-graph. In part I of the paper several first-order and modal languages connected with arrow structures are studied and their expressive power is compared. Part II is devoted to the axiomatization of some arrow logics. At the end some further perspectives of “arrow approach” are discussed.

 

点击下载:  PDF (1893KB)



返 回