Anderson Alan Ross. Completeness theorems for the systems E of entailment and EQ of entailment with quantification. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 6 , pp. 201–216 [Book Review]

Journal of Symbolic Logic 36 (3):520-520 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269968

Links

PhilArchive



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

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

Completeness Theorems for the Systems E of Entailment and EQ of Entailment with Quantification.Alan Ross Anderson - 1960 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 6 (7-14):201-216.
Review: Alan Ross Anderson, Completeness Theorems for the Systems E of Entailment and EQ of Entailment with Quantification. [REVIEW]Stig Kanger - 1971 - Journal of Symbolic Logic 36 (3):520-520.
Completeness Theorems for the Systems E of Entailment and EQ of Entailment with Quantification.Alan Ross Anderson - 1960 - Mathematical Logic Quarterly 6 (7‐14):201-216.
Independent Axiom Schemata for the Pure Theory of Entailment.Alan Ross Anderson - 1960 - Mathematical Logic Quarterly 6 (1-6):93-95.
Completeness theorems for two propositional logics in which identity diverges from mutual entailment.Philip Hugly & Charles Sayward - 1981 - Notre Dame Journal of Formal Logic 22 (3):269-282.
A Decision Procedure For the System E Ī of Entailment with Negation.Nuel D. Belnap & John R. Wallace - 1965 - Mathematical Logic Quarterly 11 (4):277-289.
Séménénko M. I.. Svojstva nékotoryh podlogik klassičéskogo i intuicionistskogo isčislénij vyskazyvanij . Zeitschrift für mathematische Logik und Grundlagen der Mathematik vol. 16 , pp. 201–238. [REVIEW]Alan Ross Anderson - 1974 - Journal of Symbolic Logic 39 (2):351-352.
Completeness Theorems for Temporal Logics TΩ and □TΩ.Hiroya Kawai - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (5):393-398.
Barwise Completeness Theorems for Some Biprobability Logics.M. Rašković & R. Živaljević - 1986 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 32 (7-9):133-135.
Formalisations With Non-Standard Degrees of Completeness.Alan Rose - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):177-186.
Completeness Theorems For Modal Model Theory With the Montague-Chang Semantics I.J. A. Makowsky & A. Marcja - 1977 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (7-12):97-104.
An application of kripke's completeness theorem for intuitionism to superconstructive propositional calculi.J. G. Anderson - 1969 - Mathematical Logic Quarterly 15 (16-18):259-288.
A Topological Proof of the Löwenheim‐Skolem, Compactness, and Strong Completeness Theorems for Free Logic.Bas C. van Fraassen - 1968 - Mathematical Logic Quarterly 14 (13-17):245-254.
A Relationship Between Ordinary Functional Completeness and a Generalisation of the Concept.Alan Rose - 1986 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 32 (19-24):323-330.
A Generalisation of the Concept of Functional Completeness and Applications to Modus Ponens.Alan Rose - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (22-24):317-322.

Analytics

Added to PP
2016-06-30

Downloads
27 (#576,320)

6 months
2 (#1,240,909)

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