Switch to: References

Add citations

You must login to add citations.
  1. Modular Many-Valued Semantics for Combined Logics.Carlos Caleiro & Sérgio Marcelino - 2024 - Journal of Symbolic Logic 89 (2):583-636.
    We obtain, for the first time, a modular many-valued semantics for combined logics, which is built directly from many-valued semantics for the logics being combined, by means of suitable universal operations over partial non-deterministic logical matrices. Our constructions preserve finite-valuedness in the context of multiple-conclusion logics, whereas, unsurprisingly, it may be lost in the context of single-conclusion logics. Besides illustrating our constructions over a wide range of examples, we also develop concrete applications of our semantic characterizations, namely regarding the semantics (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Decidability and complexity of fibred logics without shared connectives.Sérgio Marcelino & Carlos Caleiro - 2016 - Logic Journal of the IGPL 24 (5).
    Download  
     
    Export citation  
     
    Bookmark   2 citations