Pages that link to "Item:Q1908857"

The following pages link to Axiomatic extensions of the constructive logic with strong negation and the disjunction property (Q1908857):

Displaying 4 items.

• The class of extensions of Nelson's paraconsistent logic (Q813085) (← links)
• Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation (Q865046) (← links)
• Constructive logic with strong negation is a substructural logic. II (Q1005940) (← links)
• On extensions of intermediate logics by strong negation (Q1386683) (← links)