Pages that link to "Item:Q5619824"

The following pages link to A class of decidable intermediate propositional logics (Q5619824):

Displayed 3 items.

• A reduction theorem for the Alperin weight conjecture. (Q634645) ‎ (← links)
• Intermediate logics with the same disjunctionless fragment as intuitionistic logic (Q1096618) ‎ (← links)
• Modal logics with LM-axioms (Q1136748) ‎ (← links)