Domain Extensions and Higher-Order Syntactical Interpretations

In Godehard Link (ed.), Formalism and Beyond: On the Nature of Mathematical Discourse. Boston: De Gruyter. pp. 337-350 (2014)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1515/9781614518471.337

Links

PhilArchive



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

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

Semantic Analysis of some Variants of Anderson-like Ontological Proofs.Miroslaw Szatkowski - 2005 - Studia Logica 79 (3):317-355.
Partly Free Semantics for Some Anderson-Like Ontological Proofs.Mirosław Szatkowski - 2011 - Journal of Logic, Language and Information 20 (4):475-512.
The knower paradox in the light of provability interpretations of modal logic.Paul Égré - 2004 - Journal of Logic, Language and Information 14 (1):13-48.
Constructibility in higher order arithmetics.A. Sochor - 1993 - Archive for Mathematical Logic 32 (6):381-389.
The Enclosing Word Order in the Latin Hexameter. I.T. E. V. Pearce - 1966 - Classical Quarterly 16 (01):140-.
The complexity of predicate default logic over a countable domain.Robert Saxon Milnikel - 2003 - Annals of Pure and Applied Logic 120 (1-3):151-163.
I—Columnar Higher-Order Vagueness, or Vagueness is Higher-Order Vagueness.Susanne Bobzien - 2015 - Aristotelian Society Supplementary Volume 89 (1):61-87.
A First Order Nonmonotonic Extension of Constructive Logic.David Pearce & Agustín Valverde - 2005 - Studia Logica 80 (2):321-346.
Characterizations of Preferential Entailments.Yves Moinard & Raymond Rolland - 2002 - Logic Journal of the IGPL 10 (3):245-272.
Deduction theorems for RM and its extensions.Marek Tokarz - 1979 - Studia Logica 38 (2):105 - 111.
The relative consistency of system RRC* and some of its extensions.Max A. Freund - 1994 - Studia Logica 53 (3):351 - 360.
Syntactical truth predicates for second order arithmetic.Loïc Colson & Serge Grigorieff - 2001 - Journal of Symbolic Logic 66 (1):225-256.
Axiomatizing higher-order Kleene realizability.Jaap van Oosten - 1994 - Annals of Pure and Applied Logic 70 (1):87-111.
A dilemma for higher-order theories of consciousness.Isabel Gois - 2010 - Philosophia 38 (1):143-156.
Impossible interpretations, impossible demands.Francesco Pupa - 2015 - Linguistics and Philosophy 38 (3):269-287.

Analytics

Added to PP
2017-01-11

Downloads
20 (#765,631)

6 months
5 (#632,816)

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

No references found.

Add more references