Pages that link to "Item:Q2940884"
From MaRDI portal
The following pages link to UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS (Q2940884):
Displaying 7 items.
- Uniform interpolation and propositional quantifiers in modal logics (Q878154) (← links)
- Uniform interpolation and sequent calculi in modal logic (Q1712936) (← links)
- Uniform interpolation and coherence (Q1740631) (← links)
- Uniform interpolation via nested sequents (Q2148805) (← links)
- Uniform interpolation and the existence of sequent calculi (Q2326416) (← links)
- Craig interpolation for semilinear substructural logics (Q3144874) (← links)
- Deciding dependence in logic and algebra (Q6612812) (← links)