The following pages link to (Q4312461):
Displaying 13 items.
- Labelled resolution for classical and non-classical logics (Q1372359) (← links)
- Some remarks on the possibility of extending resolution proof procedures to intuitionistic logic (Q1820590) (← links)
- Theorem prover for intuitionistic logic based on the inverse method (Q2216868) (← links)
- The Skolemization of existential quantifiers in intuitionistic logic (Q2503404) (← links)
- (Q3714047) (← links)
- Gentzen-type systems and resolution rules. I: Propositional logic (Q3972527) (← links)
- (Q4016032) (← links)
- (Q4281258) (← links)
- (Q4282590) (← links)
- A resolution theorem prover for intuitionistic logic (Q4647496) (← links)
- Optimized encodings of fragments of type theory in first order logic (Q4647585) (← links)
- Completeness of Resolution for Definite Answers (Q4847378) (← links)
- Some pitfalls of LK-to-LJ translations and how to avoid them (Q5234695) (← links)