The following pages link to (Q4231009):
Displayed 4 items.
- \(ILI\)-ideals and prime \(LI\)-ideals in lattice implication algebras. (Q1425298) (← links)
- Lack of associative filters in lattice implication algebras (Q1933779) (← links)
- \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\) (Q5946276) (← links)
- \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\) (Q5946327) (← links)