Switch to: References

Add citations

You must login to add citations.
  1. 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  
  • Relevant Consequence Relations: An Invitation.Guillermo Badia, Libor Běhounek, Petr Cintula & Andrew Tedder - forthcoming - Review of Symbolic Logic:1-31.
    We generalize the notion ofconsequence relationstandard in abstract treatments of logic to accommodate intuitions ofrelevance. The guiding idea follows theuse criterion, according to which in order for some premises to have some conclusion(s) as consequence(s), the premises must each beusedin 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 betweenmultisets. We motivate and state basic definitions of relevant consequence relations, both (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation