Coercion completion and conservativity in coercive subtyping

Annals of Pure and Applied Logic 113 (1-3):297-322 (2001)
  Copy   BIBTEX

Abstract

Coercive subtyping offers a general approach to subtyping and inheritance by introducing a simple abbreviational mechanism to constructive type theories. In this paper, we study coercion completion in coercive subtyping and prove that the formal extension with coercive subtyping of a type theory such as Martin–Löf's type theory and UTT is a conservative extension. The importance of coherence conditions for the conservativity result is also discussed

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,593

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Formal semantics in modern type theories with coercive subtyping.Zhaohui Luo - 2012 - Linguistics and Philosophy 35 (6):491-513.
Law and Coercion.Robert C. Hughes - 2013 - Philosophy Compass 8 (3):231-240.
Coercion and the nature of law.Grant Lamond - 2001 - Legal Theory 7 (1):35-57.
State coercion and force.Christopher W. Morris - 2012 - Social Philosophy and Policy 29 (1):28-49.
Bargaining Advantages and Coercion in the Market.Joan McGregor - 1988 - Philosophy Research Archives 14:23-50.
Payment for research participation: a coercive offer?A. Wertheimer & F. G. Miller - 2008 - Journal of Medical Ethics 34 (5):389-392.
Equality and the Significance of Coercion.Gabriel Wollner - 2011 - Journal of Social Philosophy 42 (4):363-381.
The Sexual Harassment Coercive Offer.James Rocha - 2010 - Journal of Applied Philosophy 28 (2):203-216.
Coercive Interference and Moral Judgment.Jan-Willem van der Rijt - 2011 - Ethical Theory and Moral Practice 14 (5):549 - 567.
Against Two Modest Conceptions of Hard Paternalism.William Glod - 2013 - Ethical Theory and Moral Practice 16 (2):409-422.

Analytics

Added to PP
2014-01-16

Downloads
37 (#374,850)

6 months
2 (#668,348)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Sergei Soloviev
Universiti Paul Sabatier

Citations of this work

Formal semantics in modern type theories with coercive subtyping.Zhaohui Luo - 2012 - Linguistics and Philosophy 35 (6):491-513.

Add more citations

References found in this work

No references found.

Add more references