Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination

@inproceedings{Avron2009CanonicalSC,
  title={Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination},
  author={Arnon Avron and Anna Zamansky},
  booktitle={LFCS},
  year={2009}
}
Canonical propositional Gentzen-type calculi are a natural class of systems which in addition to the standard axioms and structural rules have only logical rules where exactly one occurrence of a connective is introduced and no other connective is mentioned. Cut-elimination in such systems is fully characterized by a syntactic constructive criterion of coherence. In this paper we extend the theory of canonical systems to the considerably more general class of signed calculi. We show that the… CONTINUE READING

From This Paper

Topics from this paper.

References

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

Proof Systems for Logics Based on Non-deterministic Multiple-valued Structures

  • A. Avron, B. Konikowska
  • Logic Journal of the IGPL,
  • 2005
1 Excerpt

Many-valued Logic’, Handbook of Philosophical Logic, D

  • A. Urquhart
  • Gabbay and F. Guenthner eds.,
  • 2001

Tableaux for Multiple-valued Logics

  • R. Hähnle
  • Handbook of Tableau Methods,
  • 1999
1 Excerpt

Similar Papers

Loading similar papers…