Pages that link to "Item:Q5450571"
From MaRDI portal
The following pages link to Preservation of Interpolation Features by Fibring (Q5450571):
Displayed 4 items.
- Craig interpolation in the presence of unreliable connectives (Q2254572) (← links)
- Fibring as biporting subsumes asymmetric combinations (Q2259004) (← links)
- Preservation of Craig interpolation by the product of matrix logics (Q2446552) (← links)
- Interpolation via translations (Q3184216) (← links)