Pages that link to "Item:Q757363"
From MaRDI portal
The following pages link to Remarks on special lattices and related constructive logics with strong negation (Q757363):
Displaying 13 items.
- Information completeness in Nelson algebras of rough sets induced by quasiorders (Q383570) (← links)
- Constructive logic with strong negation is a substructural logic. I (Q931408) (← links)
- Constructive negations and paraconsistency (Q932098) (← links)
- Constructive logic with strong negation is a substructural logic. II (Q1005940) (← links)
- Some investigations of varieties of \({\mathcal N}\)-lattices (Q1071022) (← links)
- Constructive predicate logic with strong negation and model theory (Q1104309) (← links)
- Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics (Q2363497) (← links)
- Strong negation in intuitionistic style sequent systems for residuated lattices (Q2922496) (← links)
- The logic Ł<sup>•</sup> (Q2933737) (← 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)
- Constructive Logic with Strong Negation as a Substructural Logic (Q3583096) (← links)
- Short story of the term “algebraic analysis” (Q4716314) (← links)
