Pages that link to "Item:Q606053"

The following pages link to Joint consistency in extensions of the minimal logic (Q606053):

Displaying 10 items.

• The projective Beth property in well-composed logics (Q384403) (← links)
• Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\) (Q385070) (← 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)
• On the degree of complexity of sentential logics. III. An example of Johansson's minimal logic (Q1097873) (← links)
• Extensions of the minimal logic and the interpolation problem (Q1617985) (← links)
• The decidability of Craig's interpolation property in well-composed J-logics (Q1937748) (← links)
• Calculi over minimal logic and nonembeddability of algebras (Q2402134) (← links)
• The Minimal System of Justification Logic with Names (Q5213663) (← links)