Pages that link to "Item:Q2946756"
From MaRDI portal
The following pages link to An Evaluation-Driven Decision Procedure for G3i (Q2946756):
Displayed 3 items.
- Goal-oriented proof-search in natural deduction for intuitionistic propositional logic (Q1725847) (← links)
- Proof-Search in Natural Deduction Calculus for Classical Propositional Logic (Q3455774) (← links)
- Linear depth deduction with subformula property for intuitionistic epistemic logic (Q6156631) (← links)