Pages that link to "Item:Q3546111"

The following pages link to A weak form of interpolation in equational logic (Q3546111):

Displaying 16 items.

• The projective Beth property in well-composed logics (Q384403) (← links)
• Weak interpolation in extensions of the logics S4 and K4 (Q431659) (← links)
• Decidability of the interpolation problem and of related properties in tabular logics (Q431717) (← links)
• Interpolation properties in the extensions of the logic of inequality (Q606045) (← links)
• Joint consistency in extensions of the minimal logic (Q606053) (← links)
• Simple weakly transitive modal algebras (Q619324) (← links)
• Interpolation and definability over the logic Gl (Q647415) (← links)
• Interpolation and the projective Beth property in well-composed logics (Q694247) (← links)
• Decidability of the weak interpolation property over the minimal logic (Q695764) (← links)
• Amalgamation, interpolation, and implicit definability in varieties of algebras (Q744307) (← links)
• The decidability of Craig's interpolation property in well-composed J-logics (Q1937748) (← links)
• Algorithms for recognizing restricted interpolation over the modal logic S4 (Q2123084) (← links)
• Amalgamation and interpolation in ordered algebras. (Q2253035) (← links)
• Restricted interpolation over modal logic S4 (Q2342101) (← links)
• Interpolation in conditional equational logic (Q3982061) (← links)
• Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics (Q5214737) (← links)