Pages that link to "Item:Q5452176"
From MaRDI portal
The following pages link to Effective Finite-Valued Approximations of General Propositional Logics (Q5452176):
Displaying 4 items.
- Optimal axiomatizations of finitely valued logics (Q1854378) (← links)
- The universe of propositional approximations (Q2369011) (← links)
- Efficient Approximation of Well-Founded Justification and Well-Founded Domination (Q2851261) (← links)
- Applying Association Rules to ε-Reduction of Finite Theory in Two-Valued Propositional Logic (Q3145144) (← links)