Pages that link to "Item:Q1908857"
From MaRDI portal
The following pages link to Axiomatic extensions of the constructive logic with strong negation and the disjunction property (Q1908857):
Displaying 8 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)
- (Q3512159) (← links)
- (Q3520603) (← links)
- (Q5411478) (← links)
- Converse Ackermann property and constructive negation defined with a negation connective (Q5437781) (← links)