Switch to: Citations

Add references

You must login to add references.
  1. An Inferentially Many-Valued Two-Dimensional Notion of Entailment.Carolina Blasio - 2017 - Bulletin of the Section of Logic 46 (3/4).
    Starting from the notions of q-entailment and p-entailment, a two-dimensional notion of entailment is developed with respect to certain generalized q-matrices referred to as B-matrices. After showing that every purely monotonic singleconclusion consequence relation is characterized by a class of B-matrices with respect to q-entailment as well as with respect to p-entailment, it is observed that, as a result, every such consequence relation has an inferentially four-valued characterization. Next, the canonical form of B-entailment, a two-dimensional multiple-conclusion notion of entailment based (...)
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  • What is a Non-truth-functional Logic?João Marcos - 2009 - Studia Logica 92 (2):215-240.
    What is the fundamental insight behind truth-functionality ? When is a logic interpretable by way of a truth-functional semantics? To address such questions in a satisfactory way, a formal definition of truth-functionality from the point of view of abstract logics is clearly called for. As a matter of fact, such a definition has been available at least since the 70s, though to this day it still remains not very widely well-known. A clear distinction can be drawn between logics characterizable through: (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Tolerance and Mixed Consequence in the S'valuationist Setting.Pablo Cobreros, Paul Egré, David Ripley & Robert Rooij - 2012 - Studia Logica 100 (4):855-877.
    In a previous paper (see ‘Tolerant, Classical, Strict’, henceforth TCS) we investigated a semantic framework to deal with the idea that vague predicates are tolerant, namely that small changes do not affect the applicability of a vague predicate even if large changes do. Our approach there rests on two main ideas. First, given a classical extension of a predicate, we can define a strict and a tolerant extension depending on an indifference relation associated to that predicate. Second, we can use (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Investigations into Logical Deduction.Gerhard Gentzen - 1964 - American Philosophical Quarterly 1 (4):288 - 306.
    Download  
     
    Export citation  
     
    Bookmark   151 citations  
  • Suszko’s Thesis, Inferential Many-valuedness, and the Notion of a Logical System.Heinrich Wansing & Yaroslav Shramko - 2008 - Studia Logica 88 (3):405-429.
    According to Suszko’s Thesis, there are but two logical values, true and false. In this paper, R. Suszko’s, G. Malinowski’s, and M. Tsuji’s analyses of logical twovaluedness are critically discussed. Another analysis is presented, which favors a notion of a logical system as encompassing possibly more than one consequence relation. [A] fundamental problem concerning many-valuedness is to know what it really is. [13, p. 281].
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • Tolerant, Classical, Strict.Pablo Cobreros, Paul Egré, David Ripley & Robert van Rooij - 2012 - Journal of Philosophical Logic 41 (2):347-385.
    In this paper we investigate a semantics for first-order logic originally proposed by R. van Rooij to account for the idea that vague predicates are tolerant, that is, for the principle that if x is P, then y should be P whenever y is similar enough to x. The semantics, which makes use of indifference relations to model similarity, rests on the interaction of three notions of truth: the classical notion, and two dual notions simultaneously defined in terms of it, (...)
    Download  
     
    Export citation  
     
    Bookmark   165 citations  
  • Taking Degrees of Truth Seriously.Josep Maria Font - 2009 - Studia Logica 91 (3):383-406.
    This is a contribution to the discussion on the role of truth degrees in manyvalued logics from the perspective of abstract algebraic logic. It starts with some thoughts on the so-called Suszko’s Thesis (that every logic is two-valued) and on the conception of semantics that underlies it, which includes the truth-preserving notion of consequence. The alternative usage of truth values in order to define logics that preserve degrees of truth is presented and discussed. Some recent works studying these in the (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Many-valued logics and Suszko's thesis revisited.Marcelo Tsuji - 1998 - Studia Logica 60 (2):299-309.
    Suszko's Thesis maintains that many-valued logics do not exist at all. In order to support it, R. Suszko offered a method for providing any structural abstract logic with a complete set of bivaluations. G. Malinowski challenged Suszko's Thesis by constructing a new class of logics (called q-logics by him) for which Suszko's method fails. He argued that the key for logical two-valuedness was the "bivalent" partition of the Lindenbaum bundle associated with all structural abstract logics, while his q-logics were generated (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Remarks on Lukasiewicz's three-valued logic.Roman Suszko - 1975 - Bulletin of the Section of Logic 4 (3):87-90.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • Q-consequence operation.Grzegorz Malinowski - 1990 - Reports on Mathematical Logic 24 (1):49--59.
    Download  
     
    Export citation  
     
    Bookmark   56 citations  
  • Formalization of a plausible inference.Szymon Frankowski - 2004 - Bulletin of the Section of Logic 33 (1):41--52.
    Download  
     
    Export citation  
     
    Bookmark   52 citations  
  • Matrix approach in methodology of sentential calculi.Ryszard Wójcicki - 1973 - Studia Logica 32 (1):7 - 39.
    Download  
     
    Export citation  
     
    Bookmark   82 citations  
  • Sequents and bivaluations.Jean-Yves Béziau - 2001 - Logique Et Analyse 44 (176):373-394.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Heterogeneous logic.I. L. Humberstone - 1988 - Erkenntnis 29 (3):395 - 435.
    This paper considers the question: what becomes of the notion of a logic as a way of codifying valid arguments when the customary assumption is dropped that the premisses and conclusions of these arguments are statements from some single language? An elegant treatment of the notion of a logic, when this assumption is in force, is that provided by Dana Scott's theory of consequence relations; this treatment is appropriately generalized in the present paper to the case where we do not (...)
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • From many-valued consequence to many-valued connectives.Emmanuel Chemla & Paul Egré - 2018 - Synthese 198 (S22):5315-5352.
    Given a consequence relation in many-valued logic, what connectives can be defined? For instance, does there always exist a conditional operator internalizing the consequence relation, and which form should it take? In this paper, we pose this question in a multi-premise multi-conclusion setting for the class of so-called intersective mixed consequence relations, which extends the class of Tarskian relations. Using computer-aided methods, we answer extensively for 3-valued and 4-valued logics, focusing not only on conditional operators, but also on what we (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • The Fregean Axiom and Polish mathematical logic in the 1920s.Roman Suszko - 1977 - Studia Logica 36 (4):377-380.
    Summary of the talk given to the 22nd Conference on the History of Logic, Cracow (Poland), July 5–9, 1976.
    Download  
     
    Export citation  
     
    Bookmark   66 citations  
  • Logic, Semantics, Metamathematics.L. Jonathan Cohen - 1958 - Philosophical Quarterly 8 (30):87-88.
    Download  
     
    Export citation  
     
    Bookmark   70 citations