Switch to: References

Add citations

You must login to add citations.
  1. Valuations: Bi, Tri, and Tetra.Rohan French & David Ripley - 2019 - Studia Logica 107 (6):1313-1346.
    This paper considers some issues to do with valuational presentations of consequence relations, and the Galois connections between spaces of valuations and spaces of consequence relations. Some of what we present is known, and some even well-known; but much is new. The aim is a systematic overview of a range of results applicable to nonreflexive and nontransitive logics, as well as more familiar logics. We conclude by considering some connectives suggested by this approach.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Suszko’s Problem: Mixed Consequence and Compositionality.Emmanuel Chemla & Paul Égré - 2019 - Review of Symbolic Logic 12 (4):736-767.
    Suszko’s problem is the problem of finding the minimal number of truth values needed to semantically characterize a syntactic consequence relation. Suszko proved that every Tarskian consequence relation can be characterized using only two truth values. Malinowski showed that this number can equal three if some of Tarski’s structural constraints are relaxed. By so doing, Malinowski introduced a case of so-called mixed consequence, allowing the notion of a designated value to vary between the premises and the conclusions of an argument. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Constructive Negation, Implication, and Co-Implication.Heinrich Wansing - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):341-364.
    In this paper, a family of paraconsistent propositional logics with constructive negation, constructive implication, and constructive co-implication is introduced. Although some fragments of these logics are known from the literature and although these logics emerge quite naturally, it seems that none of them has been considered so far. A relational possible worlds semantics as well as sound and complete display sequent calculi for the logics under consideration are presented.
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • Proofs, Disproofs, and Their Duals.Heinrich Wansing - 2010 - In Lev Beklemishev, Valentin Goranko & Valentin Shehtman (eds.), Advances in Modal Logic, Volume 8. CSLI Publications. pp. 483-505.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • The Critics of Paraconsistency and of Many-Valuedness and the Geometry of Oppositions.Alessio Moretti - 2010 - Logic and Logical Philosophy 19 (1-2):63-94.
    In 1995 Slater argued both against Priest’s paraconsistent system LP (1979) and against paraconsistency in general, invoking the fundamental opposition relations ruling the classical logical square. Around 2002 Béziau constructed a double defence of paraconsistency (logical and philosophical), relying, in its philosophical part, on Sesmat’s (1951) and Blanche’s (1953) “logical hexagon”, a geometrical, conservative extension of the logical square, and proposing a new (tridimensional) “solid of opposition”, meant to shed new light on the point raised by Slater. By using n-opposition (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Human Rationality Challenges Universal Logic.Brian R. Gaines - 2010 - Logica Universalis 4 (2):163-205.
    Tarski’s conceptual analysis of the notion of logical consequence is one of the pinnacles of the process of defining the metamathematical foundations of mathematics in the tradition of his predecessors Euclid, Frege, Russell and Hilbert, and his contemporaries Carnap, Gödel, Gentzen and Turing. However, he also notes that in defining the concept of consequence “efforts were made to adhere to the common usage of the language of every day life.” This paper addresses the issue of what relationship Tarski’s analysis, and (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Entailment Relations and/as Truth Values.Yaroslav Shramko & Heinrich Wansing - 2007 - Bulletin of the Section of Logic 36 (3/4):131-143.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • What is a Genuine Intuitionistic Notion of Falsity?Yaroslav Shramko - 2012 - Logic and Logical Philosophy 21 (1):3-23.
    I highlight the importance of the notion of falsity for a semantical consideration of intuitionistic logic. One can find two principal (and non-equivalent) versions of such a notion in the literature, namely, falsity as non-truth and falsity as truth of a negative proposition. I argue in favor of the first version as the genuine intuitionistic notion of falsity.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Bi-Facial Truth: A Case for Generalized Truth Values.Dmitry Zaitsev & Yaroslav Shramko - 2013 - Studia Logica 101 (6):1299-1318.
    We explore a possibility of generalization of classical truth values by distinguishing between their ontological and epistemic aspects and combining these aspects within a joint semantical framework. The outcome is four generalized classical truth values implemented by Cartesian product of two sets of classical truth values, where each generalized value comprises both ontological and epistemic components. This allows one to define two unary twin connectives that can be called “semi-classical negations”. Each of these negations deals only with one of the (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Multi-Valued Semantics: Why and How.Arnon Avron - 2009 - Studia Logica 92 (2):163-182.
    According to Suszko's Thesis,any multi-valued semantics for a logical system can be replaced by an equivalent bivalent one. Moreover: bivalent semantics for families of logics can frequently be developed in a modular way. On the other hand bivalent semantics usually lacks the crucial property of analycity, a property which is guaranteed for the semantics of multi-valued matrices. We show that one can get both modularity and analycity by using the semantic framework of multi-valued non-deterministic matrices. We further show that for (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Editorial Introduction. Truth Values: Part I. [REVIEW]Yaroslav Shramko & Heinrich Wansing - 2009 - Studia Logica 91 (3):295-304.
    Download  
     
    Export citation  
     
    Bookmark  
  • 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   11 citations  
  • An Inferentially Many-Valued Two-Dimensional Notion of Entailment.Carolina Blasio - 2018 - Bulletin of the Section of Logic 46 (3/4).
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • On the Meaning of Connectives (Apropos of a Non-Necessitarianist Challenge).Luis Estrada-González - 2011 - Logica Universalis 5 (1):115-126.
    According to logical non-necessitarianism, every inference may fail in some situation. In his defense of logical monism, Graham Priest has put forward an argument against non-necessitarianism based on the meaning of connectives. According to him, as long as the meanings of connectives are fixed, some inferences have to hold in all situations. Hence, in order to accept the non-necessitarianist thesis one would have to dispose arbitrarily of those meanings. I want to show here that non-necessitarianism can stand, without disposing arbitrarily (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation