Nick Bezhanishvili, Fan Yang
Published 2022-09-20Version 1
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.
Admissibility in Positive Logics
A negative solution of Kuznetsov's problem for varieties of bi-Heyting algebras
Characterization theorem for the conditionally computable real functions
![QR code for arXiv:2209.10039 [math.LO]](http://oss.arxitics.com/images/favicon.svg)