Pages that link to "Item:Q1071022"
From MaRDI portal
The following pages link to Some investigations of varieties of \({\mathcal N}\)-lattices (Q1071022):
Displaying 18 items.
- Priestley duality for paraconsistent Nelson's logic (Q708928) (← links)
- Nelson algebras through Heyting ones. I (Q750474) (← links)
- The class of extensions of Nelson's paraconsistent logic (Q813085) (← links)
- Nelson's negation on the base of weaker versions of intuitionistic negation (Q813089) (← 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. I (Q931408) (← links)
- Constructive logic with strong negation is a substructural logic. II (Q1005940) (← links)
- Behavioral algebraization of logics (Q1005974) (← links)
- On extensions of intermediate logics by strong negation (Q1386683) (← links)
- Axiomatic extensions of the constructive logic with strong negation and the disjunction property (Q1908857) (← links)
- A categorial equivalence for semi-Nelson algebras (Q2100454) (← links)
- Compatibly involutive residuated lattices and the Nelson identity (Q2317520) (← links)
- Quasi-Nelson algebras (Q2333675) (← links)
- Semi-Nelson algebras (Q2413410) (← links)
- Skew lattices and binary operations on functions (Q2446546) (← links)
- Discrete duality for Nelson algebras with tense operators (Q2699011) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- Prelinearity in (quasi-)Nelson logic (Q6079417) (← links)
