Showing math.LOShow all
2 papers · 1 filter
math.LO2025
Fragments of Some Subintuitionistic Logics
Fatemeh Shirmohammadzadeh Maleki, Dick de Jongh
In this article we determine the implicational fragments of most of the known subintuitionistic logics.
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…