Showing math.LOShow all
2 papers · 1 filter
math.LO2022
Intermediate logics in the setting of team semantics
Nick Bezhanishvili, Fan Yang
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 se…
math.LO2019
NNIL-formulas revisited: universal models and finite model property
Julia Ilin, Dick de Jongh, Fan Yang
NNIL-formulas, introduced by Visser in 1983-1984 in a study of -subsitutions in Heyting Arithmetic, are intuitionistic propositional formulas that does not allow nesting of im…