The following pages link to (Q4532819):
Displaying 4 items.
- Lattice-valued modal propositional logic based on M-lattice implication algebras (Q2440191) (← links)
- A 6-valued logical system \(K^1_6\) based on a nonlinearly ordered lattice of values (Q2720648) (← links)
- (Q4544362) (← links)
- ON SEMANTICS OF L-VALUED FIRST-ORDER LOGIC L<sub>vft</sub> (Q4950599) (← links)