The following pages link to (Q5603863):
Displaying 9 items.
- Intuitionistic validity in \(T\)-normal Kripke structures (Q685055) (← links)
- The depth of formulas in some classes of a \(k\)-valued logic (Q1179649) (← links)
- On normal forms in Łukasiewicz logic (Q1882628) (← links)
- Binary functions of multivalued arguments: generalization and investigation of disjunctive normal forms for such functions (Q2354424) (← links)
- Quine-McCluskey method for many-valued logical functions (Q2466752) (← links)
- (Q3216643) (← links)
- (Q3538670) (← links)
- (Q4202949) (← links)
- Simplification of many-valued logic formulas using anti-links (Q4209297) (← links)