4 citations · 4 across the 2 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
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…
math.LO2019
Complete logics for elementary team properties
Juha Kontinen, Fan Yang
In this paper, we introduce a logic based on team semantics, called FOT, whose expressive power is elementary, i.e., coincides with first-order logic both on the level of sentences…