Pages that link to "Item:Q5444696"
From MaRDI portal
The following pages link to Intuitionistic logic freed of all metarules (Q5444696):
Displaying 4 items.
- Subject-predicate calculus free from existential import (Q800907) (← links)
- Contraction-free linear depth sequent calculi for intuitionistic propositional logic with the subformula property and minimal depth counter-models (Q2351164) (← links)
- An Evaluation-Driven Decision Procedure for G3i (Q2946756) (← links)
- Intuitionistic Decision Procedures Since Gentzen (Q3305556) (← links)