Increasing sentences in Simple Type Theory

Annals of Pure and Applied Logic 168 (10):1902-1926 (2017)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2017.05.002

Links

PhilArchive



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

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

Simple sentences, substitution, and intuitions.Jennifer Mather Saul - 2007 - New York: Oxford University Press.
A type free theory and collective/distributive predication.Fairouz Kamareddine - 1995 - Journal of Logic, Language and Information 4 (2):85-109.
Proof Theory For Finitely Valid Sentences.J. Degen - 2001 - Reports on Mathematical Logic:47-59.
Logicism and the Problem of Infinity: The Number of Numbers: Articles.Gregory Landini - 2011 - Philosophia Mathematica 19 (2):167-212.
Quantified Multimodal Logics in Simple Type Theory.Christoph Benzmüller & Lawrence C. Paulson - 2013 - Logica Universalis 7 (1):7-20.
Simple Trinitarianism and Feature-Placing Sentences.Shieva Kleinschmidt - 2016 - Faith and Philosophy 33 (3):257-277.
Cut-elimination for simple type theory with an axiom of choice.G. Mints - 1999 - Journal of Symbolic Logic 64 (2):479-485.
Cut-Elimination for Simple Type Theory with an Axiom of Choice.G. Mints - 1999 - Journal of Symbolic Logic 64 (2):479-485.
Sentences of type theory: The only sentences preserved under isomorphisms.M. Victoria Marshall & Rolando Chuaqui - 1991 - Journal of Symbolic Logic 56 (3):932-948.
Sentences of Type Theory: The Only Sentences Preserved Under Isomorphisms.M. Victoria Marshall & Rolando Chuaqui - 1991 - Journal of Symbolic Logic 56 (3):932-948.
Niemonotoniczna logika niefregowska.Anna Wójtowicz - 2011 - Filozofia Nauki 19 (2).
On the binding group in simple theories.Ziv Shami & Frank O. Wagner - 2002 - Journal of Symbolic Logic 67 (3):1016-1024.
Coordinatisation by Binding Groups and Unidimensionality in Simple Theories.Ziv Shami - 2004 - Journal of Symbolic Logic 69 (4):1221 - 1242.
A Constructive Type-Theoretical Formalism for the Interpretation of Subatomically Sensitive Natural Language Constructions.Bartosz Więckowski - 2012 - Studia Logica 100 (4):815-853.
E-Type Anaphora as NP-Deletion.Paul Elbourne - 2001 - Natural Language Semantics 9 (3):241-288.

Analytics

Added to PP
2017-05-31

Downloads
18 (#785,610)

6 months
10 (#219,185)

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

Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
Model Theory: An Introduction.David Marker - 2003 - Bulletin of Symbolic Logic 9 (3):408-409.
On nfu.Marcel Crabbé - 1991 - Notre Dame Journal of Formal Logic 33 (1):112-119.
A Reduction of the NF Consistency Problem.Athanassios Tzouvaras - 2007 - Journal of Symbolic Logic 72 (1):285 - 304.

View all 9 references / Add more references