Pages that link to "Item:Q804567"
From MaRDI portal
The following pages link to Multi-valued logic and Gröbner bases with applications to modal logic (Q804567):
Displayed 15 items.
- A new algebraic model for implementing expert systems represented under the `concept-attribute-value' paradigm (Q417951) (← links)
- The Logics' Explorer: a Maple package for exploring finite many-valued propositional logics (Q692319) (← links)
- An algebraic approach to rule based expert systems (Q981968) (← links)
- A categorical critical-pair completion algorithm (Q1300576) (← links)
- A logic and computer algebra-based expert system for diagnosis of anorexia (Q1349162) (← links)
- A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra (Q1404692) (← links)
- Limits of theory sequences over algebraically closed fields and applications. (Q1421482) (← links)
- An expert system for managing medical appropriateness criteria based on computer algebra techniques (Q1609885) (← links)
- A Groebner bases-based approach to backward reasoning in rule based expert systems (Q2379678) (← links)
- A polynomial model for logics with a prime power number of truth values (Q2429988) (← links)
- Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations (Q3637268) (← links)
- CWA Extensions to Multi-Valued Logics (Q3647206) (← links)
- An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics (Q4236072) (← links)
- A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple (Q5505497) (← links)
- CWA formalizations in multi-valued logics (Q5942700) (← links)