Pages that link to "Item:Q1380415"
From MaRDI portal
The following pages link to On the complexity of entailment in propositional multivalued logics (Q1380415):
Displaying 10 items.
- Tractable approximate deduction for OWL (Q274420) (← links)
- Three-valued logics in modal logic (Q383567) (← links)
- A complexity perspective on entailment of parameterized linear constraints (Q487646) (← links)
- The possibilistic Horn non-clausal knowledge bases (Q2105624) (← links)
- The universe of propositional approximations (Q2369011) (← links)
- Semantic Restrictions over Second-Order Logic (Q3458159) (← links)
- Autoreferential semantics for many-valued modal logics (Q3647288) (← links)
- Approximate coherence-based reasoning (Q4453903) (← links)
- The Universe of Approximations (Q4924531) (← links)
- A first polynomial non-clausal class in many-valued logic (Q6083144) (← links)