Pages that link to "Item:Q1288274"
From MaRDI portal
The following pages link to Interpolation property and superintuitionistic predicate logics (Q1288274):
Displaying 7 items.
- Restricted interpolation property in superintuitionistic logics (Q431670) (← links)
- Sentential logics and Maehara interpolation property (Q1076010) (← links)
- Interpolation in superintuitionistic predicate logics with equality (Q2709301) (← links)
- Algebraic counterparts for some properties of superintuitionistic predicate logics (Q2773676) (← links)
- Automatic recognition of the interpolation property in some superintuitionistic propositional logics (Q2882965) (← links)
- Propositional Interpolation and Abstract Interpretation (Q3558223) (← links)
- (Q4210626) (← links)