Pages that link to "Item:Q5599784"

The following pages link to A Remark on the Intersection of Tow Logics (Q5599784):

Displaying 13 items.

• The projective Beth property in well-composed logics (Q384403) (← links)
• Interpolation and definability over the logic Gl (Q647415) (← links)
• Interpolation and the projective Beth property in well-composed logics (Q694247) (← links)
• Recognizable logics (Q887647) (← links)
• On axiomatizing Shramko-Wansing's logic (Q1015493) (← links)
• On the structure of paraconsistent extensions of Johansson's logic (Q1775862) (← links)
• The decidability of Craig's interpolation property in well-composed J-logics (Q1937748) (← links)
• The power of Belnap: sequent systems for \(SIXTEEN_{3 }\) (Q1959329) (← links)
• A non-inferentialist, anti-realistic conception of logical truth and falsity (Q2339010) (← links)
• The logic of generalized truth values and the logic of bilattices (Q2350215) (← links)
• Complexity of interpolation and related problems in positive calculi (Q4532622) (← links)
• Certain Method for Generating a Series of Logics (Q5551418) (← links)
• The Lattice NExtS41 as Composed of Replicas of NExtInt, and Beyond (Q5886460) (← links)