Pages that link to "Item:Q750474"
From MaRDI portal
The following pages link to Nelson algebras through Heyting ones. I (Q750474):
Displayed 13 items.
- 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)
- The subvariety of commutative residuated lattices represented by twist-products (Q2449445) (← links)
- Implicative twist-structures (Q2449455) (← links)
- Rough sets determined by tolerances (Q2453623) (← links)
- Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond (Q4531578) (← links)