Strong Ambiguity

Mathematical Logic Quarterly 68 (1):110-117 (2022)
  Copy   BIBTEX

Abstract

We examine the conditions under which a model of Tangled Type Theory satisfies the same sentences as a model of (assuming we ignore type indices).

Other Versions

No versions found

Links

PhilArchive

External links

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

Through your library

Analytics

Added to PP
2022-04-10

Downloads
72 (#818,321)

6 months
7 (#1,403,420)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations