Pages that link to "Item:Q4803974"
From MaRDI portal
The following pages link to Logic of classical refutability and class of extensions of minimal logic (Q4803974):
Displaying 18 items.
- The projective Beth property in well-composed logics (Q384403) (← links)
- Interpolation over the minimal logic and Odintsov intervals (Q498237) (← 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)
- Extensions of the minimal logic and the interpolation problem (Q1617985) (← links)
- Slices and levels of extensions of the minimal logic (Q1745087) (← links)
- Negative equivalence of extensions of minimal logic (Q1770621) (← 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 interpolation problem in finite-layered pre-Heyting logics (Q2011363) (← links)
- Perceptibility in pre-Heyting logics (Q2200986) (← links)
- Layers over minimal logic (Q2364334) (← links)
- On Interpolation Problem in Paraconsistent Extensions of the Minimal Logic (Q4917992) (← links)
- Craig's interpolation property in pretabular logics (Q6203335) (← links)
- Pretabularity and Craig's interpolation problem over the minimal logic (Q6587379) (← links)
