Proof search issues in some non-classical logics

  title={Proof search issues in some non-classical logics},
  author={Jacob M. Howe},
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
36 Citations
25 References
Similar Papers


Publications citing this paper.

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.


Publications referenced by this paper.
Showing 1-10 of 25 references

Technical Report 346

  • G. M. Bierman. On Intuitionistic Linear Logic
  • University of Cambridge Computer Laboratory,
  • 1994
Highly Influential
6 Excerpts

PhD thesis

  • A. Heuerding.Sequent Calculi for Proof Search in Some Logics
  • Universität Bern,
  • 1998
Highly Influential
3 Excerpts

Theorem Proving and Partial Proof Search for Intuitionistic Propositional Logic Using a Permutation-free Calculus with Loop Checking

  • J. M. Howe
  • Technical Report CS/96/12, University of St…
  • 1996
Highly Influential
3 Excerpts

A Permutation-free Calculus for Lax Logic

  • J. M. Howe
  • Technical Report CS/98/1, University of St…
  • 1998
1 Excerpt

Université Henri Poincaré

  • S. Selhab.Logiques et Ŕeécritures. PhD thesis
  • Nancy I,
  • 1998
1 Excerpt

Similar Papers

Loading similar papers…