Pages that link to "Item:Q2193970"

The following pages link to Proof theory for positive logic with weak negation (Q2193970):

Displaying 2 items.

• Subminimal logics in light of Vakarelov's logic (Q831220) (← links)
• Double negation as minimal negation (Q6190088) (← links)