Semantics of Non-Classical First Order Predicate Logics

Semantics of Non-Classical First Order Predicate Logics
复制标题

非经典一阶谓词逻辑的语义

DOI：
10.1007/978-1-4613-0609-2_9
复制
发表时间：
1990
期刊：
Notre Dame J. Formal Log.
影响因子：
--
通讯作者：
D. Skvortsov
D. Skvortsov
中科院分区：
--
文献类型：
--
作者：
V. Shehtman;D. Skvortsov

文献摘要

被引文献

相似文献

为了描述逻辑系统的语义，应该定义模型和模型中的真值的概念。经典一阶模型理论的主要部分可以在标准语义中发展，而替代类型的语义（如层，强迫，多进代数）起辅助作用。
To describe semantics of a logical system one should define notions of a model and the truth in a model. A major part of classical first order model theory can be developed within the standard semantics, while alternative types of semantics (such as sheaves, forcing, polyadic algebras) play an auxiliary role.