Pages that link to "Item:Q1133535"

The following pages link to Matrix representations for structural strengthenings of a propositional logic (Q1133535):

Displaying 4 items.

• On the degree of complexity of sentential logics. II: An example of the logic with semi-negation (Q1061118) (← links)
• Reduced products of logical matrices (Q1145134) (← links)
• The lattice of strengthenings of a strongly finite consequence operation (Q1161517) (← links)
• 2-element matrices (Q1168307) (← links)