论文标题
团队语义设置的中间逻辑
Intermediate logics in the setting of team semantics
论文作者
论文摘要
几位作者最近根据团队语义（TIPC）定义了直觉逻辑。在本文中，我们提供了两种在团队语义设置中的中间逻辑的替代方法。我们通过用逻辑中的两个不同版本的分离版本和全局的脱节来修改TIPC来做到这一点。我们在第一种方法中证明了一个特征定理，我们在第二种方法中介绍了广义的团队语义。
Several authors have recently defined intuitionistic logic based on team semantics (tIPC). In this paper we provide two alternative approaches to intermediate logics in the team semantics setting. We do this by modifying tIPC with axioms written with two different versions of disjunction in the logic, a local one and global one. We prove a characterization theorem in the first approach and we introduce a generalized team semantics in the second one.
