Pages that link to "Item:Q2429988"
From MaRDI portal
The following pages link to A polynomial model for logics with a prime power number of truth values (Q2429988):
Displaying 8 items.
- The Logics' Explorer: a Maple package for exploring finite many-valued propositional logics (Q692319) (← links)
- A logic-algebraic approach to decision taking in a railway interlocking system (Q694549) (← links)
- A logic-algebraic tool for reasoning with knowledge-based systems (Q1994361) (← links)
- An algebraic model for implementing expert systems based on the knowledge of different experts (Q2228552) (← links)
- A natural language for implementing algebraically expert systems (Q2228853) (← links)
- An algebraic approach for detecting nearly dangerous situations in expert systems (Q2228856) (← links)
- Revisiting four-valued logics from \textit{Maple} using the \textit{Logics Explorer} package (Q2229887) (← links)
- Polynomial semantics for modal logics (Q5243399) (← links)