Pages that link to "Item:Q1703280"

The following pages link to Strong decidability and strong recognizability (Q1703280):

Displaying 4 items.

• Recognizable and perceptible logics and varieties (Q683376) (← links)
• Constructive classifications of modal logics and extensions of minimal logic (Q784471) (← links)
• Strong computability of slices over the logic GL (Q1707569) (← links)
• Recognizability in pre-Heyting and well-composed logics (Q2003246) (← links)