Completeness Theorems for the Systems E of Entailment and EQ of Entailment with Quantification

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 6 (7-14):201-216 (1960)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19600060709

Links

PhilArchive



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

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 - Mathematical Logic Quarterly 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 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.
Some theorems on structural entailment relations.Janusz Czelakowski - 1983 - Studia Logica 42 (4):417 - 429.
A Question of Entailment.John O. Nelson - 1964 - Review of Metaphysics 18 (2):364 - 377.
Alternative semantics for quantified first degree relevant logic.Richard Routley - 1979 - Studia Logica 38 (2):211 - 231.
Review: T. J. Smiley, Entailment and Deducibility; Alan Ross Anderson, Nuel D. Belnap, The Pure Calculus of Entailment. [REVIEW]Jonathan Bennett - 1965 - Journal of Symbolic Logic 30 (2):240-241.
Uwagi o okresie warunkowym, implikacji i entailmencie.Robert Łyczek - 2008 - Filozofia Nauki 2.
Neighborhoods for entailment.Lou Goble - 2003 - Journal of Philosophical Logic 32 (5):483-529.
Nonmonotonic probabilistic reasoning under variable-strength inheritance with overriding.Thomas Lukasiewicz - 2005 - Synthese 146 (1-2):153 - 169.
Entailment: The Logic of Relevance and Neccessity, Vol. I.Alan Ross Anderson & Nuel D. Belnap - 1975 - Princeton, N.J.: Princeton University Press. Edited by Nuel D. Belnap & J. Michael Dunn.
The Power of Belnap: Sequent Systems for SIXTEEN ₃. [REVIEW]Heinrich Wansing - 2010 - Journal of Philosophical Logic 39 (4):369 - 393.
Explications of Functional Entailment in Relational Pathophysiology.A. H. Louie - 2013 - Axiomathes 23 (1):81-107.
On defining necessity in terms of entailment.Dennis Henry & Michael Byrd - 1979 - Studia Logica 38 (2):95 - 104.
Luck, Propositional Perception, and the Entailment Thesis.Chris Ranalli - 2014 - Synthese 191 (6):1223-1247.

Analytics

Added to PP
2016-02-04

Downloads
25 (#620,961)

6 months
5 (#633,186)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Semantics for relevant logics.Alasdair Urquhart - 1972 - Journal of Symbolic Logic 37 (1):159-169.
A Relevant Logic of Questions.Vít Punčochář - 2020 - Journal of Philosophical Logic 49 (5):905-939.
Intensional models for first degree formulas.Nuel D. Belnap - 1967 - Journal of Symbolic Logic 32 (1):1-22.

View all 16 citations / Add more citations

References found in this work

No references found.

Add more references