Entailment and proof

Notre Dame Journal of Formal Logic 20:921 (1979)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093882815

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

Entailment and proof.Hin Chung Hung - 1979 - Notre Dame Journal of Formal Logic 20 (4):921-933.
General Models and Entailment Semantics for Independence Logic.Pietro Galliani - 2013 - Notre Dame Journal of Formal Logic 54 (2):253-275.
Extracting BB′IW Inhabitants of Simple Types From Proofs in the Sequent Calculus $${LT_\to^{t}}$$ L T → t for Implicational Ticket Entailment.Katalin Bimbó & J. Michael Dunn - 2014 - Logica Universalis 8 (2):141-164.
Lewy on C. I. Lewis and Entailment.Peter M. Simons - 1978 - Analysis 38 (3):126 - 129.
Nonmonotonic probabilistic reasoning under variable-strength inheritance with overriding.Thomas Lukasiewicz - 2005 - Synthese 146 (1-2):153 - 169.
A proof-theoretic approach to entailment.N. Tennant - 1980 - Journal of Philosophical Logic 9 (2):185 - 209.
Gentzenization of Trilattice Logics.Mitio Takano - 2016 - Studia Logica 104 (5):917-929.
On the decidability of implicational ticket entailment.Katalin Bimbó & J. Michael Dunn - 2013 - Journal of Symbolic Logic 78 (1):214-236.
Luck, Propositional Perception, and the Entailment Thesis.Chris Ranalli - 2014 - Synthese 191 (6):1223-1247.
A Question of Entailment.John O. Nelson - 1964 - Review of Metaphysics 18 (2):364 - 377.
The equivalence of tautological and “strict” entailment: Proof of an amended conjecture of Lewy's. [REVIEW]Michael Clark - 1980 - Journal of Philosophical Logic 9 (1):9 - 15.
A note on probabilistic logics and probabilistic networks.Jon Williamson - 2008
Neighborhoods for entailment.Lou Goble - 2003 - Journal of Philosophical Logic 32 (5):483-529.
Uwagi o okresie warunkowym, implikacji i entailmencie.Robert Łyczek - 2008 - Filozofia Nauki 2.
Freedom, Consciousness, and Science: An Emergentist Response to the Challenge.Philip Clayton - 2010 - In Melville Y. Stewart (ed.), Science and Religion in Dialogue. Oxford, UK: Wiley-Blackwell. pp. 985--998.

Analytics

Added to PP
2017-02-20

Downloads
8 (#1,287,956)

6 months
3 (#992,474)

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