Search results for 'Entailment (Logic' (try it on Scholar)

345 found
Order:
  1. Alan Ross Anderson (1990). Entailment: The Logic of Relevance and Necessity. Princeton University Press.
  2.  24
    Richard Patterson (1995). Aristotle's Modal Logic: Essence and Entailment in the Organon. Cambridge University Press.
    Aristotle's Modal Logic presents a very new interpretation of Aristotle's logic by arguing that a proper understanding of the system depends on an appreciation of its connection to the metaphysics. Richard Patterson develops three striking theses in the book. First, there is a fundamental connection between Aristotle's logic of possibility and necessity, and his metaphysics, and that this connection extends far beyond the widely recognised tie to scientific demonstration and relates to the more basic distinction between the essential and accidental (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  3.  3
    José M. Méndez & Gemma Robles (2016). The Logic Determined by Smiley’s Matrix for Anderson and Belnap’s First-Degree Entailment Logic. Journal of Applied Non-Classical Logics 26 (1):47-68.
    The aim of this paper is to define the logical system Sm4 characterised by the degree of truth-preserving consequence relation defined on the ordered set of values of Smiley’s four-element matrix MSm4. The matrix MSm4 has been of considerable importance in the development of relevant logics and it is at the origin of bilattice logics. It will be shown that Sm4 is a most interesting paraconsistent logic which encloses a sound theory of logical necessity similar to that of Anderson and (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  4.  9
    Pietro Galliani (2013). General Models and Entailment Semantics for Independence Logic. Notre Dame Journal of Formal Logic 54 (2):253-275.
    We develop a semantics for independence logic with respect to what we will call general models. We then introduce a simpler entailment semantics for the same logic, and we reduce the validity problem in the former to the validity problem in the latter. Then we build a proof system for independence logic and prove its soundness and completeness with respect to entailment semantics.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  5. Alan R. Anderson & Nuel D. Belnap (1975). Entailment: The Logic of Relevance and Neccessity, Vol. I. Princeton University Press.
  6.  16
    Teodor Stepien (1985). Logic Based on Atomic Entailment. Bulletin of the Section of Logic 14 (2):65-69.
    . In this paper we propose a new definition of entailment and construct a system S of predicate calculus based on this entailment. It is also shown that all well-known set theories can be based on the system S.
    Direct download  
     
    Export citation  
     
    My bibliography  
  7.  1
    Kevin Knight (2003). Probabilistic Entailment and a Non-Probabilistic Logic. Logic Journal of the IGPL 11 (3):353-365.
    In this paper we present a probabilistic notion of entailment for finite sets of premises, which has classical entailment as a special case, and show that it is well defined; i.e., that the problem of whether a sentence is entailed by a set of premises is computable. Further we present a natural deductive system and prove that it is the strongest deductive system possible without referring to probabilities.
    Direct download  
     
    Export citation  
     
    My bibliography  
  8.  2
    Vincenzo Crupi & Katya Tentori (2013). Confirmation as Partial Entailment: A Representation Theorem in Inductive Logic. Journal of Applied Logic 11 (4):364-372.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  9.  2
    Gemma Robles & José M. Méndez (forthcoming). A Companion to Brady's 4-Valued Relevant Logic BN4: The 4-Valued Logic of Entailment E4. Logic Journal of the IGPL:jzw011.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  10. Alan Ross Anderson, Nuel D. Belnap & J. Michael Dunn (1992). Entailment: The Logic of Relevance and Necessity, Vol. II. Princeton University Press.
    Translate
     
     
    Export citation  
     
    My bibliography   41 citations  
  11.  1
    William Craig (1957). Beth E. W.. Remarks on Natural Deduction. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, Series A, Vol. 58 , Pp. 322–325; Also Indagationes Mathematicae, Vol. 17 Pp. 322–325.Beth E. W.. Semantic Entailment and Formal Derivability. Mededelingen der Koninklijke Nederlandse Akademie van Wetenschappen, Afd. Letterkunde, N.S. Vol. 18 No. 13 , Pp. 309–342.Jaakko K. Hintikka J.. A New Approach to Sentential Logic. Societas Scientiarum Fennica, Commentationes Physico-Mathematicae, Vol. 17 No. 2 , 14 Pp.Jaakko K. Hintikka J.. Form and Content in Quantification Theory. Two Papers on Symbolic Logic, Acta Philosophica Fennica No. 8, Helsinki 1955, Pp. 7–55.Jaakko K. Hintikka J.. Notes on Quantification Theory. Societas Scientiarum Fennica, Commentationes Physico-Mathematicae, Vol. 17 No. 12 , 13 Pp. [REVIEW] Journal of Symbolic Logic 22 (4):360-363.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12.  1
    Larisa Maksimova (1996). Anderson Alan Ross, Belnap Nuel D. Jr., and Dunn J. Michael. Entailment. The Logic of Relevance and Necessity. Volume II. Princeton University Press, Princeton and Oxford 1992, Xxvii + 749 Pp. [REVIEW] Journal of Symbolic Logic 61 (1):338-341.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  13.  2
    Larisa Maksimova (1996). Review: Alan Ross Anderson, Entailment. The Logic of Relevance and Necessity. [REVIEW] Journal of Symbolic Logic 61 (1):338-341.
    Direct download  
     
    Export citation  
     
    My bibliography  
  14.  2
    Daniel H. Cohen (1990). Meyer Robert K.. A Farewell to Entailment. Foundations of Logic and Linguistics, Problems and Their Solutions, Edited by Dorn Georg and Weingartner P., Plenum Press, New York and London 1985, Pp. 577–636. [REVIEW] Journal of Symbolic Logic 55 (1):352-353.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  15.  2
    Harry Deutsch (1992). Review: J. Michael Dunn, Relevance Logic and Entailment. [REVIEW] Journal of Symbolic Logic 57 (2):752-753.
    Direct download  
     
    Export citation  
     
    My bibliography  
  16.  1
    Gordon Matthews (1977). Review: Alan Ross Anderson, Nuel D. Belnap., Entailment. The Logic of Relevance and Necessity. Volume I. [REVIEW] Journal of Symbolic Logic 42 (2):311-313.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  17. Vincenzo Crupi & Katya Tentori (2014). Erratum to “Confirmation as Partial Entailment” [Journal of Applied Logic 11 364–372]. Journal of Applied Logic 12 (2):230-231.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  18. Harry Deutsch (1992). Dunn J. Michael. Relevance Logic and Entailment. Handbook of Philosophical Logic, Volume III, Alternatives to Classical Logic, Edited by Gabbay D. And Guenthner F., Synthese Library, Vol. 166, D. Reidel Publishing Company, Dordrecht Etc. 1986, Pp. 117–224. [REVIEW] Journal of Symbolic Logic 57 (2):752-753.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  19. Melvin Fitting (1977). Meyer Robert K.. Intuitionism, Entailment, Negation. Truth, Syntax and Modality, Proceedings of the Temple University Conference on Alternative Semantics, Edited by Leblanc Hugues, Studies in Logic and the Foundations of Mathematics, Vol. 68, North-Holland Publishing Company, Amsterdam and London 1973, Pp. 168–198. [REVIEW] Journal of Symbolic Logic 42 (2):315.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  20. Melvin Fitting (1977). Routley Richard and Meyer Robert K.. The Semantics of Entailment. Truth, Syntax and Modality, Proceedings of the Temple University Conference on Alternative Semantics, Edited by Leblanc Hugues, Studies in Logic and the Foundations of Mathematics, Vol. 68, North-Holland Publishing Company, Amsterdam and London 1973, Pp. 199–243. [REVIEW] Journal of Symbolic Logic 42 (2):315-316.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  21. David Makinson (1975). Pap Arthur. Logic and the Concept of Entailment. The Journal of Philosophy, Vol. 47 , Pp. 378–387. Journal of Symbolic Logic 40 (3):466.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  22. David Makinson (1975). Review: Arthur Pap, Logic and the Concept of Entailment. [REVIEW] Journal of Symbolic Logic 40 (3):466-466.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  23. Gordon Matthews (1977). Anderson Alan Ross and Belnap Nuel D. Jr. Entailment. The Logic of Relevance and Necessity. Volume I. Princeton University Press, Princeton and London 1976 , Xxxii + 542 Pp. [REVIEW] Journal of Symbolic Logic 42 (2):311-313.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  24.  51
    A. J. Dale (1980). Mathematical Logic and the Substitutional Account of Entailment. Analysis 40 (4):203 - 205.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  25.  13
    Wesley C. Salmon (1969). Partial Entailment as a Basis for Inductive Logic. In Nicholas Rescher (ed.), Essays in Honor of Carl G. Hempel. Reidel 47--82.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  26.  32
    P. T. Geach (1977). Entailment: The Logic of Relevance and Necessity, Vol. I By Alan Ross Anderson and Nuel D. Belnap Jr Princeton University Press, 1976, Xxxii + 542 Pp., £13.70. [REVIEW] Philosophy 52 (202):493-.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  27.  25
    V. K. Bharadwaja (1987). Implication and Entailment in Navya-Nyāya Logic. Journal of Indian Philosophy 15 (2):149-154.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  28. A. Orenstein (2000). Richard Patterson, Aristotle's Modal Logic: Essence and Entailment in the Organon. International Journal of Philosophical Studies 8 (2):263-265.
    No categories
     
    Export citation  
     
    My bibliography   1 citation  
  29.  3
    Michael Clark, Alan Ross Anderson & Nuel D. Belnap (1978). Entailment. The Logic of Relevance and Necessity. Volume I. Philosophical Quarterly 28 (111):172.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  30.  4
    A. Beckermann, H. Flohr, J. Kim & S. Benhabib (1993). Allen, RT, The Education of Autonomous Man, Aldershot, Avebury, 1992, Vi, 82,£ 22.50 (Cloth). Anderson, AR Belnap, ND and Dunn, JM, Entailment: The Logic of Relevance and Necessity Vol II, Princeton, Princeton University Press, 1992, Xxvii, 749, US $75.00 (Cloth). [REVIEW] Australasian Journal of Philosophy 71 (2).
    Direct download  
     
    Export citation  
     
    My bibliography  
  31.  1
    Mohini Mullick (1976). Implication And Entailment In Navya-Nyaya Logic. Journal of Indian Philosophy 4 (September-December):127-134.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  32.  7
    Leo J. Elders (1997). Patterson, Richard. Aristotle's Modal Logic: Essence and Entailment in the Organon. Review of Metaphysics 50 (4):915-915.
  33.  11
    Arthur Pap (1950). Logic and the Concept of Entailment. Journal of Philosophy 47 (13):378-387.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  34.  8
    Charles F. Kielkopf (1979). Wittgenstein,Aposteriori Necessity and Logic for Entailment. Philosophia 9 (1):63-74.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  35.  1
    H. A. Lewis (1978). ENTAILMENT: The Logic of Relevance and Necessity (Volume I). Philosophical Books 19 (2):75-77.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  36. P. T. Geach (1977). Anderson, Alan Ross and Nuel D. Belnap Jr. "Entailment: The Logic of Relevance and Necessity". [REVIEW] Philosophy 52:493.
     
    Export citation  
     
    My bibliography  
  37. P. T. Geach (1977). Belnap, Nuel D. Jr. And Alan Ross Anderson "Entailment: The Logic of Relevance and Necessity". [REVIEW] Philosophy 52:(1977).
     
    Export citation  
     
    My bibliography  
  38. Richard Routley (1980). ANDERSON, A. R. & BELNAP, N. D., "Entailment: The Logic of Relevance and Necessity". [REVIEW] Australasian Journal of Philosophy 58:405.
    Direct download  
     
    Export citation  
     
    My bibliography  
  39.  51
    Donald Bamber (2000). Entailment with Near Surety of Scaled Assertions of High Conditional Probability. Journal of Philosophical Logic 29 (1):1-74.
    An assertion of high conditional probability or, more briefly, an HCP assertion is a statement of the type: The conditional probability of B given A is close to one. The goal of this paper is to construct logics of HCP assertions whose conclusions are highly likely to be correct rather than certain to be correct. Such logics would allow useful conclusions to be drawn when the premises are not strong enough to allow conclusions to be reached with certainty. This goal (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  40.  28
    Lou Goble (2003). Neighborhoods for Entailment. Journal of Philosophical Logic 32 (5):483-529.
    This paper presents a neighborhood semantics for logics of entailment. It begins with a minimal system Min that expresses the most fundamental assumptions about the entailment relation, and continues by examining various extensions that reflect further assumptions that might be made about entailment. This leads first to the logic B that is the basic relevant logic, and then to more powerful systems. All of these logics are proved to be sound and strongly complete. With B the neighborhood (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  41.  5
    Jiří Raclavský (2013). On the Interaction of Semantics and Deduction in Transparent Intensional Logic. Logic and Logical Philosophy 23 (1):57-68.
    It is sometimes objected that Tichý’s logic is not a logic because it underestimates deduction, providing only logical analyses of expressions. I argue that this opinion is wrong. First of all, to detect valid arguments, which are formulated in a language, there needs to be logical analysis to ascertain which semantical entities are involved. Entailment is defined as an extralinguistic affair relating those constructions. The validity of an argument, composed of propositional constructions, stems from the properties of the constructions. (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  42. Gonzalo Rodriguez-Pereyra (2006). Truthmaking, Entailment, and the Conjunction Thesis. Mind 115 (460):957-982.
    In this paper I undermine the Entailment Principle according to which if an entity is a truthmaker for a certain proposition and this proposition entails another, then the entity in question is a truthmaker for the latter proposition. I argue that the two most promising versions of the principle entail the popular but false Conjunction Thesis, namely that a truthmaker for a conjunction is a truthmaker for its conjuncts. One promising version of the principle understands entailment as strict (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   22 citations  
  43.  10
    Stefan Wintein (2016). On All Strong Kleene Generalizations of Classical Logic. Studia Logica 104 (3):503-545.
    By using the notions of exact truth and exact falsity, one can give 16 distinct definitions of classical consequence. This paper studies the class of relations that results from these definitions in settings that are paracomplete, paraconsistent or both and that are governed by the Strong Kleene schema. Besides familiar logics such as Strong Kleene logic, the Logic of Paradox and First Degree Entailment, the resulting class of all Strong Kleene generalizations of classical logic also contains a host of (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  44.  13
    Timothy R. Colburn (1991). Defeasible Reasoning and Logic Programming. Minds and Machines 1 (4):417-436.
    The general conditions of epistemic defeat are naturally represented through the interplay of two distinct kinds of entailment, deductive and defeasible. Many of the current approaches to modeling defeasible reasoning seek to define defeasible entailment via model-theoretic notions like truth and satisfiability, which, I argue, fails to capture this fundamental distinction between truthpreserving and justification-preserving entailments. I present an alternative account of defeasible entailment and show how logic programming offers a paradigm in which the distinction can be (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  45.  35
    Ross Thomas Brady (2010). Free Semantics. Journal of Philosophical Logic 39 (5):511 - 529.
    Free Semantics is based on normalized natural deduction for the weak relevant logic DW and its near neighbours. This is motivated by the fact that in the determination of validity in truth-functional semantics, natural deduction is normally used. Due to normalization, the logic is decidable and hence the semantics can also be used to construct counter-models for invalid formulae. The logic DW is motivated as an entailment logic just weaker than the logic MC of meaning containment. DW is the (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  46.  48
    Jan Dejnožka (2010). The Concept of Relevance and the Logic Diagram Tradition. Logica Universalis 4 (1):67-135.
    What is logical relevance? Anderson and Belnap say that the “modern classical tradition [,] stemming from Frege and Whitehead-Russell, gave no consideration whatsoever to the classical notion of relevance.” But just what is this classical notion? I argue that the relevance tradition is implicitly most deeply concerned with the containment of truth-grounds, less deeply with the containment of classes, and least of all with variable sharing in the Anderson–Belnap manner. Thus modern classical logicians such as Peirce, Frege, Russell, Wittgenstein, and (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  47.  34
    Joeri Engelfriet & Jan Treur (1998). An Interpretation of Default Logic in Minimal Temporal Epistemic Logic. Journal of Logic, Language and Information 7 (3):369-388.
    When reasoning about complex domains, where information available is usually only partial, nonmonotonic reasoning can be an important tool. One of the formalisms introduced in this area is Reiter's Default Logic (1980). A characteristic of this formalism is that the applicability of default (inference) rules can only be verified in the future of the reasoning process. We describe an interpretation of default logic in temporal epistemic logic which makes this characteristic explicit. It is shown that this interpretation yields a semantics (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  48. Pranab Kumar Sen (1980). Logic, Induction, and Ontology: Essays in Philosophical Analysis. Macmillan.
  49.  16
    Michael De & Hitoshi Omori (2015). Classical Negation and Expansions of Belnap–Dunn Logic. Studia Logica 103 (4):825-851.
    We investigate the notion of classical negation from a non-classical perspective. In particular, one aim is to determine what classical negation amounts to in a paracomplete and paraconsistent four-valued setting. We first give a general semantic characterization of classical negation and then consider an axiomatic expansion BD+ of four-valued Belnap–Dunn logic by classical negation. We show the expansion complete and maximal. Finally, we compare BD+ to some related systems found in the literature, specifically a four-valued modal logic of Béziau and (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  50.  50
    Yaroslav Shramko & Heinrich Wansing (2005). Some Useful 16-Valued Logics: How a Computer Network Should Think. [REVIEW] Journal of Philosophical Logic 34 (2):121 - 153.
    In Belnap's useful 4-valued logic, the set 2 = {T, F} of classical truth values is generalized to the set 4 = (2) = {Ø, {T}, {F}, {T, F}}. In the present paper, we argue in favor of extending this process to the set 16 = ᵍ (4) (and beyond). It turns out that this generalization is well-motivated and leads from the bilattice FOUR₂ with an information and a truth-and-falsity ordering to another algebraic structure, namely the trilattice SIXTEEN₃ with an (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   15 citations  
1 — 50 / 345