Pages that link to "Item:Q2709301"
From MaRDI portal
The following pages link to Interpolation in superintuitionistic predicate logics with equality (Q2709301):
Displaying 6 items.
- Synonymous theories and knowledge representations in answer set programming (Q414849) (← links)
- Interpolation property and superintuitionistic predicate logics (Q1288274) (← links)
- Constructing a continuum of predicate extensions of each intermediate propositional logic (Q1891930) (← links)
- Automatic recognition of the interpolation property in some superintuitionistic propositional logics (Q2882965) (← links)
- Intuitionistic propositional logic with only equivalence has no interpolation (Q4209298) (← links)
- (Q4210626) (← links)