Switch to: Citations

Add references

You must login to add references.
  1. Relevant Logics Obeying Component Homogeneity.Roberto Ciuni, Damian Szmuc & Thomas Macaulay Ferguson - 2018 - Australasian Journal of Logic 15 (2):301-361.
    This paper discusses three relevant logics that obey Component Homogeneity - a principle that Goddard and Routley introduce in their project of a logic of significance. The paper establishes two main results. First, it establishes a general characterization result for two families of logic that obey Component Homogeneity - that is, we provide a set of necessary and sufficient conditions for their consequence relations. From this, we derive characterization results for S*fde, dS*fde, crossS*fde. Second, the paper establishes complete sequent calculi (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • On Paraconsistent Weak Kleene Logic: Axiomatisation and Algebraic Analysis.Stefano Bonzio, José Gil-Férez, Francesco Paoli & Luisa Peruzzi - 2017 - Studia Logica 105 (2):253-297.
    Paraconsistent Weak Kleene logic is the 3-valued logic with two designated values defined through the weak Kleene tables. This paper is a first attempt to investigate PWK within the perspective and methods of abstract algebraic logic. We give a Hilbert-style system for PWK and prove a normal form theorem. We examine some algebraic structures for PWK, called involutive bisemilattices, showing that they are distributive as bisemilattices and that they form a variety, \, generated by the 3-element algebra WK; we also (...)
    Download  
     
    Export citation  
     
    Bookmark   35 citations  
  • A general framework for product representations: bilattices and beyond.L. M. Cabrer & H. A. Priestley - 2015 - Logic Journal of the IGPL 23 (5):816-841.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • A semantical theory of analytic implication.Alasdair Urquhart - 1973 - Journal of Philosophical Logic 2 (2):212 - 219.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Meaning and Proscription in Formal Logic: Variations on the Propositional Logic of William T. Parry.Thomas Macaulay Ferguson - 2017 - Cham, Switzerland: Springer Verlag.
    This book aids in the rehabilitation of the wrongfully deprecated work of William Parry, and is the only full-length investigation into Parry-type propositional logics. A central tenet of the monograph is that the sheer diversity of the contexts in which the mereological analogy emerges – its effervescence with respect to fields ranging from metaphysics to computer programming – provides compelling evidence that the study of logics of analytic implication can be instrumental in identifying connections between topics that would otherwise remain (...)
    Download  
     
    Export citation  
     
    Bookmark   35 citations  
  • (2 other versions)Foreword. [REVIEW]J. Font, R. Jansana & D. Pigozzi - 2003 - Studia Logica 74 (1-2):3-12.
    Download  
     
    Export citation  
     
    Bookmark   100 citations  
  • Analytic implication.Kit Fine - 1986 - Notre Dame Journal of Formal Logic 27 (2):169-179.
    Download  
     
    Export citation  
     
    Bookmark   54 citations  
  • A survey of abstract algebraic logic.J. M. Font, R. Jansana & D. Pigozzi - 2003 - Studia Logica 74 (1-2):13 - 97.
    Download  
     
    Export citation  
     
    Bookmark   114 citations  
  • Formal Sentential Entailment.Charles F. Kielkopf - 1977
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • (1 other version)A computational interpretation of conceptivism.Thomas Macaulay Ferguson - 2014 - Journal of Applied Non-Classical Logics 24 (4):333-367.
    The hallmark of the deductive systems known as ‘conceptivist’ or ‘containment’ logics is that for all theorems of the form , all atomic formulae appearing in also appear in . Significantly, as a consequence, the principle of Addition fails. While often billed as a formalisation of Kantian analytic judgements, once semantics were discovered for these systems, the approach was largely discounted as merely the imposition of a syntactic filter on unrelated systems. In this paper, we examine a number of prima (...)
    Download  
     
    Export citation  
     
    Bookmark   32 citations  
  • Sequents for dependence logic.L. Fariñas del Cerro & V. Lugardon - forthcoming - Logique Et Analyse.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • New axiomatics for relevant logics, I.Robert K. Meyer - 1974 - Journal of Philosophical Logic 3 (1/2):53 - 86.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • A modification of Parry's analytic implication.J. Michael Dunn - 1972 - Notre Dame Journal of Formal Logic 13 (2):195-205.
    Download  
     
    Export citation  
     
    Bookmark   24 citations