Pages that link to "Item:Q1090350"
From MaRDI portal
The following pages link to The class of Kleene algebras satisfying an interpolation property and Nelson algebras (Q1090350):
Displayed 38 items.
- A categorical equivalence motivated by Kalman's construction (Q284216) (← links)
- 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)
- On some properties of PBZ\(^*\)-lattices (Q682648) (← 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)
- Rough \(L\)-fuzzy sets: their representation and related structures (Q2076962) (← links)
- Representation of De Morgan and (semi-)Kleene lattices (Q2153649) (← links)
- A duality for two-sorted lattices (Q2156992) (← links)
- Twist structures and Nelson conuclei (Q2157599) (← links)
- Defining rough sets as core-support pairs of three-valued functions (Q2237201) (← links)
- Compatibly involutive residuated lattices and the Nelson identity (Q2317520) (← links)
- An algebraic study of exactness in partial contexts (Q2353690) (← links)
- Kleene algebras with implication (Q2362883) (← links)
- Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics (Q2363497) (← links)
- Involutive right-residuated l-groupoids (Q2402069) (← links)
- The subvariety of commutative residuated lattices represented by twist-products (Q2449445) (← links)
- Rough sets determined by tolerances (Q2453623) (← links)
- Ternary Equational Languages (Q2830209) (← links)
- The logic Ł<sup>•</sup> (Q2933737) (← links)
- REPRESENTING REGULAR PSEUDOCOMPLEMENTED KLEENE ALGEBRAS BY TOLERANCE-BASED ROUGH SETS (Q4576930) (← links)
- A modal theorem-preserving translation of a class of three-valued logics of incomplete information (Q4583322) (← links)
- Diagrammatic duality (Q4586421) (← links)
- A LOGICAL AND ALGEBRAIC CHARACTERIZATION OF ADJUNCTIONS BETWEEN GENERALIZED QUASI-VARIETIES (Q4692073) (← links)
- SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC <b>QCIORE</b> (Q5001546) (← links)
- Negation and Implication in Quasi-Nelson Logic (Q5059693) (← links)
- Quasi-discriminator varieties (Q5170143) (← links)
- Fragments of quasi-Nelson: residuation (Q6111142) (← links)
- On categorical equivalence of weak monadic residuated distributive lattices and weak monadic c-differential residuated distributive lattices (Q6161949) (← links)