Switch to: References

Add citations

You must login to add citations.
  1. A Reinterpretation of the Semilattice Semantics with Applications.Yale Weiss - 2021 - Logica Universalis 15 (2):171-191.
    In the early 1970s, Alasdair Urquhart proposed a semilattice semantics for relevance logic which he provided with an influential informational interpretation. In this article, I propose a BHK-inspired reinterpretation of the semantics which is related to Kit Fine’s truthmaker semantics. I discuss and compare Urquhart’s and Fine’s semantics and show how simple modifications of Urquhart’s semantics can be used to characterize both full propositional intuitionistic logic and Jankov’s logic. I then present (quasi-)relevant companions for both of these systems. Finally, I (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • A Conservative Negation Extension of Positive Semilattice Logic Without the Finite Model Property.Yale Weiss - 2020 - Studia Logica 109 (1):125-136.
    In this article, I present a semantically natural conservative extension of Urquhart’s positive semilattice logic with a sort of constructive negation. A subscripted sequent calculus is given for this logic and proofs of its soundness and completeness are sketched. It is shown that the logic lacks the finite model property. I discuss certain questions Urquhart has raised concerning the decision problem for the positive semilattice logic in the context of this logic and pose some problems for further research.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Topics in the Proof Theory of Non-classical Logics. Philosophy and Applications.Fabio De Martin Polo - 2023 - Dissertation, Ruhr-Universität Bochum
    Chapter 1 constitutes an introduction to Gentzen calculi from two perspectives, logical and philosophical. It introduces the notion of generalisations of Gentzen sequent calculus and the discussion on properties that characterize good inferential systems. Among the variety of Gentzen-style sequent calculi, I divide them in two groups: syntactic and semantic generalisations. In the context of such a discussion, the inferentialist philosophy of the meaning of logical constants is introduced, and some potential objections – mainly concerning the choice of working with (...)
    Download  
     
    Export citation  
     
    Bookmark