Subtractive logic

@article{Crolard2001SubtractiveL,
  title={Subtractive logic},
  author={Tristan Crolard},
  journal={Theor. Comput. Sci.},
  year={2001},
  volume={254},
  pages={151-185}
}
This paper is the first part of a work whose purpose is to investigate duality in some related frameworks (cartesian closed categories, lambda-calculi, intuitionistic and classical logics) from syntactic, semantical and computational viewpoints. We start with category theory and we show that any bicartesian closed category with coexponents is degenerated (i.e. there is at most one arrow between two objects). The remainder of the paper is devoted to logical issues. We examine the propositional… CONTINUE READING
Highly Influential
This paper has highly influenced 11 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 53 citations. REVIEW CITATIONS

Citations

Publications citing this paper.

53 Citations

0510'06'09'12'15'18
Citations per Year
Semantic Scholar estimates that this publication has 53 citations based on the available data.

See our FAQ for additional information.

References

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

An introduction to higher order categorical logic

  • J. Lambek, P. J. Scott
  • Studies in Advanced Mathematics 7. Cambridge…
  • 1986
Highly Influential
8 Excerpts

Model extension theorem and Graigs interpolation theorem for intermediate predicate logics

  • H. Ono
  • Rep. Math. Logic, 15:41–57
  • 1983
Highly Influential
5 Excerpts

Semantical investigations in Heyting intuitionistic Logic

  • D. Gabbay
  • Reidel, Dordrecht
  • 1981
Highly Influential
5 Excerpts

Semi-boolean algebras and their applications to intuitionistic logic with dual operations

  • C. Rauszer
  • Fundamenta Mathematicae, volume 83, pages 219–249
  • 1974
Highly Influential
7 Excerpts

Császár . Fondement de la topologie générale

  • Á.
  • Thèse de Doctorat . Université Paris
  • 1996

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

  • T. Crolard
  • Thèse de Doctorat. Université Paris 7
  • 1996
2 Excerpts

Similar Papers

Loading similar papers…