- PhilPapers" /> . Annals of Pure and Applied Logic 161 (11):1400-1430. "> }}, volume = {161}, year = {2010} } ">

Completeness and partial soundness results for intersection and union typing for http://ars. els-cdn. com/content/image/http://origin-ars. els-cdn. com/content/image/1-s2. 0-S0168007210000515-si1. gif"/> [Book Review]

Annals of Pure and Applied Logic 161 (11):1400-1430 (2010)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2010.04.010

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,435

External links

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

Through your library

My notes

Similar books and articles

Ordinal analysis of non-monotone http://ars. els-cdn. com/content/image/http://origin-ars. els-cdn. com/content/image/1-s2. 0-S0168007208000924-si1. gif"/>-definable inductive definitions. [REVIEW]Wolfram Pohlers - 2008 - Annals of Pure and Applied Logic 156 (1):160-169.
The http://ars. els-cdn. com/content/image/http://origin-ars. els-cdn. com/content/image/1-s2. 0-S0168007205001429-si1. gif"/> degrees of computably enumerable sets are not dense. [REVIEW]George Barmpalias & Andrew Em Lewis - 2006 - Annals of Pure and Applied Logic 141 (1):51-60.
Completeness and partial soundness results for intersection and union typing for λ ¯ μ μ ̃.Steffen van Bakel - 2010 - Annals of Pure and Applied Logic 161 (11):1400-1430.
Image Content.Mohan Matthen - 2014 - In Berit Brogaard (ed.), Does Perception Have Content? Oxford University Press. pp. 265-290.
The relationship between probability difference, (!p1—!p2), and learning rate in a contingent partial reinforcement situation. [REVIEW]Paul J. Woods - 1959 - Journal of Experimental Psychology 58 (1):27.
A content semantics for quantified relevant logics. II.Ross T. Brady - 1989 - Studia Logica 48 (2):243 - 257.
Pause of Participation. On the Function of Artificial Presence.Lambert Wiesing - 2011 - Research in Phenomenology 41 (2):238-252.
“The terminator as governor” (http://Www.gseis.ucla.Edu/faculty/kellner/).Douglas Kellner - manuscript
Mediation of S-R1, S-R2 Associations. [REVIEW]Nancy Morning & James F. Voss - 1964 - Journal of Experimental Psychology 67 (1):67.
A note on partial content.Kit Fine - 2013 - Analysis 73 (3):413-419.
For Giving.Stephen David Ross - 2009 - International Studies in Philosophy Monograph Series:469-504.
Arnold Schwarzenegger and Media Spectacle By (http://www.gseis.ucla.edu/faculty/kellner/) [UCLA Bruin; 10/15/03].Douglas Kellner - unknown
Verbal transfer as a function of S1-R2 and S2-R1 interlist similarity. [REVIEW]John P. Houston - 1966 - Journal of Experimental Psychology 71 (2):232.
Second reply to hoekema; reply to Wilshire.Brian Leiter - manuscript

Analytics

Added to PP
2013-12-18

Downloads
29 (#543,329)

6 months
4 (#787,091)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Untersuchungen über das logische Schließen. I.Gerhard Gentzen - 1935 - Mathematische Zeitschrift 35:176–210.
A note on the entscheidungsproblem.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (1):40-41.
``A Note on the Entcheidunsproblem".Alonzo Church - 1936 - Journal of Symbolic Logic 1 (1):40-41.

View all 6 references / Add more references