摘要:

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.

ISSN:1166-3081    

DOI:10.1080/11663081.1996.10510890

出版商:Taylor & Francis Group    

年代:1996

数据来源: Taylor

摘要:

We characterize those binary ramified frames for which propositional modal logic is as expressive as the corresponding first-order logic.

ISSN:1166-3081    

DOI:10.1080/11663081.1996.10510891

出版商:Taylor & Francis Group    

年代:1996

数据来源: Taylor

摘要:

In this work the connections between the fuzzy closure operators and the graded consequence relations are examined Namely, as it is well known, in the crisp case there is a complete equivalence between the notion of closure operator and the one of consequence relation. We extend this result by proving that the graded consequence relations are related to a particular class of fuzzy closure operators, namely the class of fuzzy closure operators that can be obtained by a chain of classical closure operators.

ISSN:1166-3081    

DOI:10.1080/11663081.1996.10510892

出版商:Taylor & Francis Group    

年代:1996

数据来源: Taylor

ISSN:1166-3081    

DOI:10.1080/11663081.1996.10510893

出版商:Taylor & Francis Group    

年代:1996

数据来源: Taylor

ISSN:1166-3081    

DOI:10.1080/11663081.1996.10510894

出版商:Taylor & Francis Group    

年代:1996

数据来源: Taylor

ISSN:1166-3081    

DOI:10.1080/11663081.1996.10510896

出版商:Taylor & Francis Group    

年代:1996

数据来源: Taylor

ISSN:1166-3081    

DOI:10.1080/11663081.1996.10510889

出版商:Taylor & Francis Group    

年代:1996

数据来源: Taylor