Pages that link to "Item:Q3141184"

The following pages link to Zero-place operations and functional completeness, and the definition of new connectives (Q3141184):

Displaying 2 items.

• Classes of valuations closed under operations Galois-dual to Boolean sentence connectives (Q1922666) (← links)
• Choice of primitives: A note on axiomatizing intuitionistic logic (Q2757960) (← links)