Inequality without irreflexivity
作者:
Philippe Balbiani,
期刊:
Journal of Applied Non-Classical Logics
(Taylor Available online 1999)
卷期:
Volume 9,
issue 4
页码: 523-534
ISSN:1166-3081
年代: 1999
DOI:10.1080/11663081.1999.10510982
出版商: Taylor & Francis Group
数据来源: Taylor
摘要:
This paper presents the axioinatization—without the rule of irreflexivity—of the modal logic of inequality as well as a method for proving its completeness. This method uses the technics of the frame of subordination.
点击下载:
PDF (559KB)
返 回