Pages that link to "Item:Q5450571"
From MaRDI portal
The following pages link to Preservation of Interpolation Features by Fibring (Q5450571):
Displaying 10 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)
- Fibring: Completeness preservation (Q2732291) (← links)
- Preservation by fibring of the finite model property (Q3006122) (← links)
- On the characterization of fibred logics, with applications to conservativity and finite-valuedness (Q3133188) (← links)
- Interpolation via translations (Q3184216) (← links)
- (Q4217280) (← links)
- Fibring in the Leibniz Hierarchy (Q5436988) (← links)
- Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems (Q5460205) (← links)