Switch to: References

Add citations

You must login to add citations.
  1. An Inferentially Many-Valued Two-Dimensional Notion of Entailment.Carolina Blasio - 2018 - Bulletin of the Section of Logic 46 (3/4).
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 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 (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  • 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 (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark  
  • 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.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  • 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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  • 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 (...)
    Direct download (5 more)  
     
    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.
    Direct 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.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 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 (...)
    Direct download (5 more)  
     
    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 (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  • Editorial Introduction. Truth Values: Part I. [REVIEW]Yaroslav Shramko & Heinrich Wansing - 2009 - Studia Logica 91 (3):295-304.
  • Valuations: Bi, Tri, and Tetra.Rohan French & David Ripley - forthcoming - Studia Logica:1-34.
    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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • 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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations