Pages that link to "Item:Q750474"
From MaRDI portal
The following pages link to Nelson algebras through Heyting ones. I (Q750474):
Displaying 25 items.
- A categorical equivalence motivated by Kalman's construction (Q284216) (← links)
- Information completeness in Nelson algebras of rough sets induced by quasiorders (Q383570) (← links)
- Partially undetermined many-valued events and their conditional probability (Q452350) (← links)
- Priestley duality for paraconsistent Nelson's logic (Q708928) (← 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)
- 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 method of representing rough sets system determined by quasi orders (Q1943683) (← links)
- An algebraic study of tense operators on Nelson algebras (Q2021568) (← links)
- A categorial equivalence for semi-Nelson algebras (Q2100454) (← links)
- A categorical equivalence for tense Nelson algebras (Q2115290) (← links)
- Representation of De Morgan and (semi-)Kleene lattices (Q2153649) (← links)
- Twist structures and Nelson conuclei (Q2157599) (← links)
- Compatibly involutive residuated lattices and the Nelson identity (Q2317520) (← links)
- Quasi-Nelson algebras (Q2333675) (← links)
- Semi-Nelson algebras (Q2413410) (← links)
- The subvariety of commutative residuated lattices represented by twist-products (Q2449445) (← links)
- Implicative twist-structures (Q2449455) (← links)
- Rough sets determined by tolerances (Q2453623) (← links)
- Discrete duality for Nelson algebras with tense operators (Q2699011) (← links)
- The lattice of Belnapian modal logics: Special extensions and counterparts (Q2987755) (← links)
- Three Lessons on the Topological and Algebraic Hidden Core of Rough Set Theory (Q3299869) (← links)
- Rough Sets - Past, Present and Future: Some Notes (Q3300353) (← links)
