Two variants of the system of entailment

Mathematical Logic Quarterly 21 (1):57-68 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19750210107

Links

PhilArchive



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

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

Nonmonotonic probabilistic reasoning under variable-strength inheritance with overriding.Thomas Lukasiewicz - 2005 - Synthese 146 (1-2):153 - 169.
Uwagi o okresie warunkowym, implikacji i entailmencie.Robert Łyczek - 2008 - Filozofia Nauki 2.
Gts and interrogative tableaux.Stephen Harris - 1994 - Synthese 99 (3):329 - 343.
A natural deduction system for first degree entailment.Allard M. Tamminga & Koji Tanaka - 1999 - Notre Dame Journal of Formal Logic 40 (2):258-272.
Neighborhoods for entailment.Lou Goble - 2003 - Journal of Philosophical Logic 32 (5):483-529.
Provability in principle and controversial constructivistic principles.Leon Horsten - 1997 - Journal of Philosophical Logic 26 (6):635-660.
A Question of Entailment.John O. Nelson - 1964 - Review of Metaphysics 18 (2):364 - 377.
Trees for truth.Juan Barba - 2001 - Nordic Journal of Philosophical Logic 6 (1):71-99.
Luck, Propositional Perception, and the Entailment Thesis.Chris Ranalli - 2014 - Synthese 191 (6):1223-1247.
On defining necessity in terms of entailment.Dennis Henry & Michael Byrd - 1979 - Studia Logica 38 (2):95 - 104.
Natural Logic for Textual Inference.Christopher D. Manning - unknown
General Models and Entailment Semantics for Independence Logic.Pietro Galliani - 2013 - Notre Dame Journal of Formal Logic 54 (2):253-275.
Alternative semantics for quantified first degree relevant logic.Richard Routley - 1979 - Studia Logica 38 (2):211 - 231.

Analytics

Added to PP
2013-11-24

Downloads
18 (#837,580)

6 months
4 (#798,550)

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

The pure calculus of entailment.Alan Ross Anderson & Nuel D. Belnap - 1962 - Journal of Symbolic Logic 27 (1):19-52.
Independent Axiom Schemata for the Pure Theory of Entailment.Alan Ross Anderson - 1960 - Mathematical Logic Quarterly 6 (1-6):93-95.
Remarks to Zinov'ev's complex logic.Imre Ruzsa - 1973 - Studia Logica 32 (1):149 - 158.

Add more references