The following pages link to (Q4885909):
Displaying 8 items.
- The Logics' Explorer: a Maple package for exploring finite many-valued propositional logics (Q692319) (← links)
- On the complexity of entailment in propositional multivalued logics (Q1380415) (← links)
- On defining multiple-valued logics for knowledge-based systems communication (Q2744239) (← links)
- (Q3787933) (← links)
- (Q3817012) (← links)
- MANY-VALUED LOGIC SYSTEM FOR LINGUISTIC MODEL PROCESSING (Q3986727) (← links)
- Local multi-valued logics in modular expert systems (Q4305335) (← links)
- Epimorphism between Fine and Ferguson’s Matrices for Angell’s AC (Q6107288) (← links)