Switch to: References

Add citations

You must login to add citations.
  1. Reading Conclusions Conjunctively.Camillo Fiore - 2024 - Journal of Philosophical Logic 53 (6):1641-1672.
    In philosophical logic and proof theory, we often find multiple-conclusion systems that induce a conjunctive reading of premises and a disjunctive reading of conclusions. In mathematical logic, in contrast, we often find multiple-conclusion systems that induce a conjunctive reading of both premises and conclusions. This paper studies some technical and philosophical aspects of this latter approach to multiple-conclusion consequence. The takeaway is that, while the importance of disjunctive multiple conclusions is beyond doubt, conjunctive multiple conclusions also have philosophical interest. First, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Relevant Consequence Relations: An Invitation.Guillermo Badia, Libor Běhounek, Petr Cintula & Andrew Tedder - 2024 - Review of Symbolic Logic 17 (3):762-792.
    We generalize the notion of consequence relation standard in abstract treatments of logic to accommodate intuitions of relevance. The guiding idea follows the use criterion, according to which in order for some premises to have some conclusion(s) as consequence(s), the premises must each be used in some way to obtain the conclusion(s). This relevance intuition turns out to require not just a failure of monotonicity, but also a move to considering consequence relations as obtaining between multisets. We motivate and state (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Coproduct and Amalgamation of Deductive Systems by Means of Ordered Algebras.Ciro Russo - 2022 - Logica Universalis 16 (1):355-380.
    We propose various methods for combining or amalgamating propositional languages and deductive systems. We make heavy use of quantales and quantale modules in the wake of previous works by the present and other authors. We also describe quite extensively the relationships among the algebraic and order-theoretic constructions and the corresponding ones based on a purely logical approach.
    Download  
     
    Export citation  
     
    Bookmark   1 citation