The following pages link to (Q4267169):
Displaying 6 items.
- Rasiowa-Sikorski deduction systems in computer science applications. (Q1853457) (← links)
- Natural deduction system for three-valued Heyting's logic (Q2403575) (← links)
- Rasiowa-Sikorski deduction systems with the rule of cut: a case study (Q2422312) (← links)
- ARBITRARY TRUTH-VALUE FUNCTIONS AND NATURAL DEDUCTION (Q3342528) (← links)
- A relational formalisation of arbitrary finite valued logics (Q4221773) (← links)
- Natural Deduction for Four-Valued both Regular and Monotonic Logics (Q4683216) (← links)