Pages that link to "Item:Q1090350"

The following pages link to The class of Kleene algebras satisfying an interpolation property and Nelson algebras (Q1090350):

Displayed 18 items.

• Information completeness in Nelson algebras of rough sets induced by quasiorders (Q383570) ‎ (← links)
• A map of dependencies among three-valued logics (Q497633) ‎ (← links)
• Representation of Nelson algebras by rough sets determined by quasiorders (Q647309) ‎ (← links)
• Priestley duality for paraconsistent Nelson's logic (Q708928) ‎ (← links)
• Nelson algebras through Heyting ones. I (Q750474) ‎ (← 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)
• On some categories of involutive centered residuated lattices (Q1005951) ‎ (← links)
• A topological duality for some lattice ordered algebraic structures including \(\ell\)-groups (Q1333291) ‎ (← 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)
• On a definition of a variety of monadic \(\ell\)-groups. (Q2016065) ‎ (← links)
• An algebraic study of exactness in partial contexts (Q2353690) ‎ (← links)
• The subvariety of commutative residuated lattices represented by twist-products (Q2449445) ‎ (← links)
• Rough sets determined by tolerances (Q2453623) ‎ (← links)
• The logic Ł^• (Q2933737) ‎ (← links)
• Quasi-discriminator varieties (Q5170143) ‎ (← links)