The following pages link to (Q4282535):
Displaying 9 items.
- A framework for automated reasoning in multiple-valued logics (Q1272603) (← links)
- Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi (Q2062192) (← links)
- Multi-valued logic in graph transformation theory and self-adaptive systems (Q2294579) (← links)
- On stabilization and set stabilization of multivalued logical systems (Q2407161) (← links)
- On defining multiple-valued logics for knowledge-based systems communication (Q2744239) (← links)
- (Q2766946) (← links)
- (Q3787933) (← links)
- MUltlog 1.0: Towards an expert system for many-valued logics (Q4647516) (← links)
- (Q4885909) (← links)