Switch to: References

Add citations

You must login to add citations.
  1. Complementary Proof Nets for Classical Logic.Gabriele Pulcini & Achille C. Varzi - 2023 - Logica Universalis 17 (4):411-432.
    A complementary system for a given logic is a proof system whose theorems are exactly the formulas that are not valid according to the logic in question. This article is a contribution to the complementary proof theory of classical propositional logic. In particular, we present a complementary proof-net system, $$\textsf{CPN}$$ CPN, that is sound and complete with respect to the set of all classically invalid (one-side) sequents. We also show that cut elimination in $$\textsf{CPN}$$ CPN enjoys strong normalization along with (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Towards a Non-classical Meta-theory for Substructural Approaches to Paradox.Lucas Rosenblatt - 2021 - Journal of Philosophical Logic 50 (5):1007-1055.
    In the literature on self-referential paradoxes one of the hardest and most challenging problems is that of revenge. This problem can take many shapes, but, typically, it besets non-classical accounts of some semantic notion, such as truth, that depend on a set of classically defined meta-theoretic concepts, like validity, consistency, and so on. A particularly troubling form of revenge that has received a lot of attention lately involves the concept of validity. The difficulty lies in that the non-classical logician cannot (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • A Hybrid Calculus for the Validities and Invalidities of Classical Propositional Logic.Rea Golan - 2024 - Journal of Philosophical Logic 53 (6):1701-1716.
    I introduce a novel hybrid calculus H for the validities and invalidities of classical propositional logic. The calculus H is different in nature from other hybrid calculi that can be found in the literature in that it does not include specific anti-sequent rules. Instead, I add to the sequent rules of classical propositional logic only two structural rules that allow us to introduce and eliminate anti-sequents in our derivations. The resultant system is much simpler than the existing systems in the (...)
    Download  
     
    Export citation  
     
    Bookmark