A Term Assignment for Polarized Bi-intuitionistic Logic and its Strong Normalization

@article{Biasi2008ATA,
  title={A Term Assignment for Polarized Bi-intuitionistic Logic and its Strong Normalization},
  author={Corrado Biasi and Federico Aschieri},
  journal={Fundam. Inform.},
  year={2008},
  volume={84},
  pages={185-205}
}
We propose a term assignment ( let calculus) for Intuitionistic Logic for Pragmatics ILPAC, a polarized sequent calculus which includes ordinary posi tive intuitionistic logicLJ, its dualLJ and dual negations ( ) which allow a formula to “communicate” with its dual fragment. We prove the strong normalization property for th e term assignment which follows by soundly translating the let calculus into simply typedλ calculus with pairings and projections. A new and simple proof of strong… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.
7 Citations
21 References
Similar Papers

References

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

Verso una logica degli operatori prammatici: asserzioni e c ongetture

  • C. Biasi
  • Master Thesis,
  • 2003
Highly Influential
4 Excerpts

l’isomorphisme de Curry-Howard au traitement des exceptions (application d’une étude de la dualit́ e en logique intuitionniste)

  • Crolard, T.Extension de
  • Ph.D. Thesis, Universit Paris
  • 1996
Highly Influential
11 Excerpts

A New Deconstru c ive Logic: Linear Logic.,J

  • V. Danos, Joinet, J.-B, H. Schellinx
  • Symb. Log
  • 1997
1 Excerpt

Similar Papers

Loading similar papers…