Inclusive first-order logic
Inclusive first-order logic
复制标题
包含一阶逻辑
DOI：
--
复制
发表时间：
1981
期刊：
影响因子：
--
通讯作者：
Roch Ouellet
中科院分区：
文献类型：
--
作者：
Roch Ouellet
有些作者专门研究了包含逻辑，即允许或包含没有元素的对象或集合的逻辑。这些逻辑最近已经进入聚光灯下，因为任意topoi解释语言的使用。(In通常有许多对象没有元素。本文的目的是为某些包容逻辑提供一个尽可能自然和简单的公理化。由于对范畴论的应用，所研究的逻辑是多分类的和直觉的。
Some authors have studied in an ad hoc fashion the inclusive logics, that is the logics which admit or include objects or sets without element. These logics have been recently brought into the limelight because of the use of arbitrary topoi for interpreting languages. (In topoi there are usually many objects without element.)The aim of the paper is to present, for some inclusive logics, an axiomatization as natural and as simple as possible. Because of the intended applications to category theory, the logics studied are many-sorted and intuitionistic.