期刊
ANNALS OF PURE AND APPLIED LOGIC
卷 174, 期 10, 页码 -出版社
ELSEVIER
DOI: 10.1016/j.apal.2023.103346
关键词
Lindstrom theorem; First -order logic; Intuitionistic logic; Constant domains; Abstract model theory; Asimulations
This study extends the main result of [1] to the first-order intuitionistic logic and demonstrates that it is a maximal abstract logic in terms of expressive power, satisfying a certain form of compactness, the Tarski union property, and preservation under simulations. A similar result is also applicable to the intuitionistic logic of constant domains.
We extend the main result of [1] to the first-order intuitionistic logic (with and without equality), showing that it is a maximal (with respect to expressive power) abstract logic satisfying a certain form of compactness, the Tarski union property and preservation under asimulations. A similar result is also shown for the intuitionistic logic of constant domains. & COPY; 2023 Elsevier B.V. All rights reserved.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据