Pages that link to "Item:Q1219875"

The following pages link to Constructing denumerable matrices strongly adequate for pre-finite logics (Q1219875):

Displaying 3 items.

• Cardinalities of proper ideals in some lattices of strengthenings of the intuitionistic propositional logic (Q800356) (← links)
• On the degree of complexity of sentential logics. A couple of examples (Q1163542) (← links)
• Finite axiomatization for some intermediate logics (Q1165839) (← links)