Switch to: References

Add citations

You must login to add citations.
  1. Probabilistic Semantics and Calculi for Multi-valued and Paraconsistent Logics.Jaime Ramos, João Rasga & Cristina Sernadas - forthcoming - Studia Logica:1-35.
    We show how to obtain a probabilistic semantics and calculus for a logic presented by a valuation specification. By identifying general forms of valuation constraints we are able to accommodate a wide class of propositional based logics encompassing multi-valued logics like Łukasiewicz 3-valued logic and the Belnap–Dunn four-valued logic as well as paraconsistent logics like $${\textsf{mbC}}$$ and $${\textsf{LFI1}}$$. The probabilistic calculus is automatically generated from the valuation specification. Although not having explicit probability constructors in the language, the rules of the (...)
    Download  
     
    Export citation  
     
    Bookmark