模态，内涵集合理论的纯项模型

IF 0.3 3区哲学 Q1 Arts and Humanities

Logique et Analyse Pub Date : 2018-09-04 DOI:10.2143/LEA.237.0.3285353

R. Hinnion

引用次数: 0

摘要

本文证明了可以构造由模态逻辑S4支配的内涵集合论的纯项模型。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Pure term models for modal, intensional set theory

This paper shows that one can construct pure term models for intensional set theory ruled by the modal logic S4.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Logique et Analyse PHILOSOPHY-

CiteScore

0.60

自引率

0.00%

发文量

期刊介绍： Logique et Analyse is the continuation of Bulletin Intérieur, which was published from 1954 on by the Belgian National Centre for Logical Investigation, and intended originally only as an internal publication of results for its members and collaborators. Since the start of the new series, in 1958, however, the journal has been open to external submissions (and subscriptions). Logique et Analyse itself subscribes to no particular logical or philosophical doctrine, and so is open to articles from all points of view, provided only that they concern the designated subject matter of the journal.