Pages that link to "Item:Q1163541"

The following pages link to On the \(\{\to,\tilde{}\}\)-reduct of the intuitionistic consequence operation (Q1163541):

Displaying 2 items.

• Fregean logics (Q598302) (← links)
• Algebraic semantics for the ‐fragment of and its properties (Q5108101) (← links)