Pages that link to "Item:Q3409460"

The following pages link to Interpolation and Definability in Extensions of the Minimal Logic (Q3409460):

Displaying 26 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 over the minimal logic and Odintsov intervals (Q498237) (← links)
• Interpolation properties in the extensions of the logic of inequality (Q606045) (← links)
• Joint consistency in extensions of the minimal logic (Q606053) (← 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)
• Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation (Q865046) (← links)
• Negative equivalence over the minimal logic and interpolation (Q891973) (← links)
• Extensions of the minimal logic and the interpolation problem (Q1617985) (← links)
• On deductive interpolation for the weak nilpotent minimum logic (Q1697356) (← links)
• The decidability of Craig's interpolation property in well-composed J-logics (Q1937748) (← links)
• The interpolation problem in finite-layered pre-Heyting logics (Q2011363) (← links)
• Classifying material implications over minimal logic (Q2204373) (← links)
• Inter-definability of Horn contraction and Horn revision (Q2363417) (← links)
• Definability and interpolation in non-classical logics (Q2498367) (← links)
• Interpolation and Beth's property in propositional many-valued logics: a semantic investigation (Q2498905) (← links)
• WIP-minimal logics and interpolation (Q2630547) (← links)
• Interpolation and implicit definability in extensions of the provability logic (Q3534985) (← links)
• A method of proving interpolation in paraconsistent extensions of the minimal logic (Q3546097) (← links)
• On Interpolation Problem in Paraconsistent Extensions of the Minimal Logic (Q4917992) (← links)
• (Q5232911) (← links)
• (Q5419894) (← links)
• Pretabularity and Craig's interpolation problem over the minimal logic (Q6587379) (← links)