A Strong Completeness Theorem for Pragmatics

Mathematical Logic Quarterly 27 (8-10):151-160 (1981)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,907

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

A Strong Completeness Theorem for Pragmatics.Daniel Vanderveken - 1981 - Mathematical Logic Quarterly 27 (8‐10):151-160.
Reverse Mathematics and Completeness Theorems for Intuitionistic Logic.Takeshi Yamazaki - 2001 - Notre Dame Journal of Formal Logic 42 (3):143-148.
Halldén Completeness for Relevant Modal Logics.Takahiro Seki - 2015 - Notre Dame Journal of Formal Logic 56 (2):333-350.
Strong Soundness-Completeness Theorem: a semantic approach.José Alfredo Amor - 2009 - Teorema: International Journal of Philosophy 28 (3):173-190.
A topological completeness theorem.Carsten Butz - 1999 - Archive for Mathematical Logic 38 (2):79-101.
Proof-functional connectives and realizability.Franco Barbanera & Simone Martini - 1994 - Archive for Mathematical Logic 33 (3):189-211.
Deductive completeness.Kosta Došen - 1996 - Bulletin of Symbolic Logic 2 (3):243-283.
Interpretability over peano arithmetic.Claes Strannegård - 1999 - Journal of Symbolic Logic 64 (4):1407-1425.
Undecidability and intuitionistic incompleteness.D. C. McCarty - 1996 - Journal of Philosophical Logic 25 (5):559 - 565.

Analytics

Added to PP
2015-12-02

Downloads
43 (#379,449)

6 months
6 (#582,229)

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

Introduction to mathematical logic.Alonzo Church - 1944 - Princeton,: Princeton University Press. Edited by C. Truesdell.
Introduction to mathematical logic.Alonso Church - 1958 - Revue de Métaphysique et de Morale 63 (1):118-118.
The completeness of the first-order functional calculus.Leon Henkin - 1949 - Journal of Symbolic Logic 14 (3):159-166.
Pragmatics and intensional logic.Richard Montague - 1970 - Synthese 22 (1-2):68--94.
On the definition of formal dedu.Richard Montague - 1956 - Journal of Symbolic Logic 21:129.

Add more references