Pages that link to "Item:Q931408"
From MaRDI portal
The following pages link to Constructive logic with strong negation is a substructural logic. I (Q931408):
Displaying 30 items.
- The categorical imperative: category theory as a foundation for deontic logic (Q472796) (← links)
- Remarks on special lattices and related constructive logics with strong negation (Q757363) (← links)
- Nelson's negation on the base of weaker versions of intuitionistic negation (Q813089) (← links)
- Constructive logic with strong negation is a substructural logic. II (Q1005940) (← links)
- Behavioral algebraization of logics (Q1005974) (← links)
- A note on contraction-free logic for validity (Q1708464) (← 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)
- Quasi-Nelson algebras (Q2333675) (← links)
- Inference rules in Nelson's logics, admissibility and weak admissibility (Q2342802) (← links)
- Kleene algebras with implication (Q2362883) (← links)
- Paraconsistent modal logics (Q2825416) (← links)
- Strong negation in intuitionistic style sequent systems for residuated lattices (Q2922496) (← links)
- The logic Ł<sup>•</sup> (Q2933737) (← links)
- Quasi-subtractive varieties (Q3107353) (← links)
- Constructive Logic with Strong Negation as a Substructural Logic (Q3583096) (← links)
- On the Proof Method for Constructive Falsity (Q3812241) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- Extensions of Lambek Calculi (Q5014595) (← links)
- Quasi-Nelson algebras and fragments (Q5022928) (← links)
- BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES (Q5107540) (← 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)
- Nelson conuclei and nuclei: the twist construction beyond involutivity (Q6636379) (← links)
- Interpolation in linear logic and related systems (Q6636617) (← links)
