The following pages link to (Q4809372):
Displaying 4 items.
- Linguistic truth-valued lattice-valued propositional logic system \(\ell P(X)\) based on linguistic truth-valued lattice implication algebra (Q985060) (← links)
- Syntax of first-order lattice valued logic system FM (Q1375832) (← links)
- \(L\)-valued propositional logic \(L_{\text{vpl}}\) (Q1818981) (← links)
- Lattice-valued modal propositional logic based on M-lattice implication algebras (Q2440191) (← links)