Pages that link to "Item:Q1005940"
From MaRDI portal
The following pages link to Constructive logic with strong negation is a substructural logic. II (Q1005940):
Displaying 22 items.
- Remarks on special lattices and related constructive logics with strong negation (Q757363) (← links)
- Constructive logic with strong negation is a substructural logic. I (Q931408) (← links)
- Constructive logic with strong negation is a substructural logic. II (Q1005940) (← links)
- Normal modal substructural logics with strong negation (Q1425193) (← links)
- Disentangling \textsf{FDE}-based paraconsistent modal logics (Q1685570) (← links)
- Axiomatic extensions of the constructive logic with strong negation and the disjunction property (Q1908857) (← links)
- Twist structures and Nelson conuclei (Q2157599) (← links)
- Compatibly involutive residuated lattices and the Nelson identity (Q2317520) (← links)
- Inference rules in Nelson's logics, admissibility and weak admissibility (Q2342802) (← links)
- Strong negation in intuitionistic style sequent systems for residuated lattices (Q2922496) (← links)
- The logic Ł<sup>•</sup> (Q2933737) (← links)
- Quasi-subtractive varieties (Q3107353) (← links)
- Rough Sets - Past, Present and Future: Some Notes (Q3300353) (← links)
- Constructive Logic with Strong Negation as a Substructural Logic (Q3583096) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- Extensions of Lambek Calculi (Q5014595) (← links)
- Quasi-discriminator varieties (Q5170143) (← links)
- Belnap Constants and Nelson Logic (Q5350349) (← links)
- (Q5411478) (← links)
- On the provable contradictions of the connexive logics \(\mathbf{C}\) and \(\mathbf{C3}\) (Q6054061) (← links)
- Prelinearity in (quasi-)Nelson logic (Q6079417) (← links)
- Intuitionistic logic is a connexive logic (Q6127186) (← links)
