Pages that link to "Item:Q3583096"
From MaRDI portal
The following pages link to Constructive Logic with Strong Negation as a Substructural Logic (Q3583096):
Displaying 30 items.
- Co-rotation constructions of residuated semigroups (Q279424) (← links)
- 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)
- On some categories of involutive centered residuated lattices (Q1005951) (← links)
- Factor varieties (Q1701682) (← links)
- Twist structures and Nelson conuclei (Q2157599) (← links)
- Compatibly involutive residuated lattices and the Nelson identity (Q2317520) (← links)
- Representation by triples of algebras with an MV-retract (Q2328956) (← links)
- Inference rules in Nelson's logics, admissibility and weak admissibility (Q2342802) (← links)
- A temporal semantics for nilpotent minimum logic (Q2353684) (← links)
- Kleene algebras with implication (Q2362883) (← links)
- First-order nilpotent minimum logics: first steps (Q2377356) (← links)
- Involutive right-residuated l-groupoids (Q2402069) (← links)
- The subvariety of commutative residuated lattices represented by twist-products (Q2449445) (← links)
- Implicative twist-structures (Q2449455) (← links)
- Projectivity and unification in substructural logics of generalized rotations (Q2677856) (← links)
- Strong negation in intuitionistic style sequent systems for residuated lattices (Q2922496) (← links)
- The logic Ł<sup>•</sup> (Q2933737) (← links)
- TOPOS BASED SEMANTIC FOR CONSTRUCTIVE LOGIC WITH STRONG NEGATION (Q4295249) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES (Q5107540) (← links)
- Quasi-discriminator varieties (Q5170143) (← links)
- Belnap Constants and Nelson Logic (Q5350349) (← links)
- (Q5410346) (← links)
- (Q5411405) (← links)
- (Q5411478) (← links)
- Prelinearity in (quasi-)Nelson logic (Q6079417) (← links)
- Algebras and relational frames for Gödel modal logic and some of its extensions (Q6623950) (← links)
- Interpolation in linear logic and related systems (Q6636617) (← links)
