3 papers
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…
cs.LO2016
Structural Multi-type Sequent Calculus for Inquisitive Logic
Sabine Frittella, Giuseppe Greco, Alessandra Palmigiano +1
In this paper, we define a multi-type calculus for inquisitive logic, which is sound, complete and enjoys Belnap-style cut-elimination and subformula property. Inquisitive logic is…