Pages that link to "Item:Q1204112"

The following pages link to An infinite class of maximal intermediate propositional logics with the disjunction property (Q1204112):

Displayed 4 items.

• A method to single out maximal propositional logics with the disjunction property. I (Q1902974) ‎ (← links)
• A method to single out maximal propositional logics with the disjunction property. II (Q1902977) ‎ (← links)
• On maximal intermediate predicate constructive logics (Q2563458) ‎ (← links)
• Counting the maximal intermediate constructive logics (Q4283073) ‎ (← links)