Pages that link to "Item:Q2555486"

The following pages link to Axiomatization of models for intermediate logics constructed with Boolean models by piling up (Q2555486):

Displayed 2 items.

• Separability of normalizable superintuitionistic propositional logics (Q1290801) ‎ (← links)
• Characterization of pseudo-Boolean models by Boolean models and its applications to intermediate logics (Q2264662) ‎ (← links)