Highly Influenced

# Proof search issues in some non-classical logics

@inproceedings{Howe1998ProofSI, title={Proof search issues in some non-classical logics}, author={Jacob M. Howe}, year={1998} }

- Published 1998

This thesis develops techniques and ideas on proof search. Proof search is used with one of two meanings. Proof search can be thought of either as the search for a yes/no answer to a query (theorem proving), or as the search for all proofs of a formula (proof enumeration). This thesis is an investigation into issues in pr oof search in both these senses for some non-classical logics. Gentzen systems are well suited for use in proof search in both senses. The r ules of Gentzen sequent calculi… CONTINUE READING

Highly Cited

This paper has 58 citations. REVIEW CITATIONS

#### From This Paper

##### Figures, tables, and topics from this paper.

36 Citations

25 References

Similar Papers

#### Citations

##### Publications citing this paper.

#### Citation Statistics

#### 58 Citations

Citations per Year

Semantic Scholar estimates that this publication has

**58**citations based on the available data.See our **FAQ** for additional information.