Pages that link to "Item:Q377482"
From MaRDI portal
The following pages link to A proof-search procedure for intuitionistic propositional logic (Q377482):
Displaying 21 items.
- On the intuitionistic force of classical search (Q1575923) (← links)
- Proof finding algorithms for implicational logics (Q1575928) (← links)
- Goal-oriented proof-search in natural deduction for intuitionistic propositional logic (Q1725847) (← links)
- Proof-search in intuitionistic logic with equality, or back to simultaneous rigid \(E\)-unification (Q1810851) (← links)
- Efficient SAT-based proof search in intuitionistic propositional logic (Q2055856) (← links)
- SAT-based proof search in intermediate propositional logics (Q2104497) (← links)
- Contraction-free linear depth sequent calculi for intuitionistic propositional logic with the subformula property and minimal depth counter-models (Q2351164) (← links)
- Long normal form proof search and counter-model generation (Q2703714) (← links)
- Admissibility of structural rules for contraction-free systems of intuitionistic logic (Q2710593) (← links)
- A proof system for fork algebras and its applications to reasoning in logics based on intuitionism (Q2735802) (← links)
- ADC method of proof search for intuitionistic propositional natural deduction (Q2804335) (← links)
- Proof-search of propositional intuitionistic logic sequents by means of classical logic calculus (Q2811589) (← links)
- Comparison of several proof systems of intuitionistic propositional logic (Q2826389) (← links)
- On sequent calculi for intuitionistic propositional logic. (Q3417780) (← links)
- Proof-Search in Natural Deduction Calculus for Classical Propositional Logic (Q3455774) (← links)
- Intuitionistic Socratic procedures (Q3647238) (← links)
- A propositional system induced by Japaridze's approach to IF logic (Q4644501) (← links)
- INFORMATION IN PROPOSITIONAL PROOFS AND ALGORITHMIC PROOF SEARCH (Q5082067) (← links)
- Duality between Unprovability and Provability in Forward Refutation-search for Intuitionistic Propositional Logic (Q5121273) (← links)
- An Intuitionistic Predicate Logic Theorem Prover (Q5285991) (← links)
- Proof Search and Counter Model of Positive Minimal Predicate Logic (Q5415611) (← links)
