Pages that link to "Item:Q4221773"
From MaRDI portal
The following pages link to A relational formalisation of arbitrary finite valued logics (Q4221773):
Displaying 10 items.
- Rasiowa-Sikorski deduction systems in computer science applications. (Q1853457) (← links)
- Optimal axiomatizations of finitely valued logics (Q1854378) (← links)
- Использование нефинитных методов в исследовании взаимосвязи форм логического исчисления на основе оценки (Q3119288) (← links)
- Applying Association Rules to ε-Reduction of Finite Theory in Two-Valued Propositional Logic (Q3145144) (← links)
- Simplification of many-valued logic formulas using anti-links (Q4209297) (← links)
- (Q4329272) (← links)
- Post Algebras in the Work of Helena Rasiowa (Q4611702) (← links)
- (Q5717094) (← links)
- Bibliography of Ewa Orłowska (Q6599610) (← links)
- Signed dual tableaux for Kleene answer set programs (Q6599615) (← links)