Pages that link to "Item:Q1024121"
From MaRDI portal
The following pages link to Interpolation in non-classical logics (Q1024121):
Displayed 4 items.
- On some classes of Heyting algebras with successor that have the amalgamation property (Q1935558) (← links)
- Craig interpolation in the presence of unreliable connectives (Q2254572) (← links)
- UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS (Q2940884) (← links)
- Craig Interpolation for Linear Temporal Languages (Q3644755) (← links)