Pages that link to "Item:Q3546097"

The following pages link to A method of proving interpolation in paraconsistent extensions of the minimal logic (Q3546097):

Displaying 19 items.

• Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\) (Q385070) (← links)
• Interpolation over the minimal logic and Odintsov intervals (Q498237) (← links)
• The structure of slices over minimal logic (Q511341) (← links)
• The tabularity problem over the minimal logic (Q515492) (← links)
• Interpolation and definability over the logic Gl (Q647415) (← links)
• Decidability of the weak interpolation property over the minimal logic (Q695764) (← links)
• Recognizable logics (Q887647) (← links)
• Extensions of the minimal logic and the interpolation problem (Q1617985) (← links)
• Recognizability of all WIP-minimal logics (Q1642315) (← links)
• Interpolation methods for Dunn logics and their extensions (Q1685574) (← links)
• On deductive interpolation for the weak nilpotent minimum logic (Q1697356) (← links)
• Strong computability of slices over the logic GL (Q1707569) (← links)
• Slices and levels of extensions of the minimal logic (Q1745087) (← links)
• Perceptibility in pre-Heyting logics (Q2200986) (← links)
• Layers over minimal logic (Q2364334) (← links)
• WIP-minimal logics and interpolation (Q2630547) (← links)
• Remarks on constructive extensions of minimal logic (Q2883044) (← links)
• LC and Its Pretabular Relatives (Q3305421) (← links)
• Craig's interpolation property in pretabular logics (Q6203335) (← links)