Switch to: References

Add citations

You must login to add citations.
  1. Fraïssé’s theorem for logics of formal inconsistency.Bruno R. Mendonça & Walter A. Carnielli - 2020 - Logic Journal of the IGPL 28 (5):1060-1072.
    We prove that the minimal Logic of Formal Inconsistency $\mathsf{QmbC}$ validates a weaker version of Fraïssé’s theorem. LFIs are paraconsistent logics that relativize the Principle of Explosion only to consistent formulas. Now, despite the recent interest in LFIs, their model-theoretic properties are still not fully understood. Our aim in this paper is to investigate the situation. Our interest in FT has to do with its fruitfulness; the preservation of FT indicates that a number of other classical semantic properties can be (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Logic Prizes et Cætera.Jean-Yves Beziau - 2018 - Logica Universalis 12 (3-4):271-296.
    I discuss the origin and development of logic prizes around the world. In a first section I describe how I started this project by creating the Newton da Costa Logic Prize in Brazil in 2014. In a second section I explain how this idea was extended into the world through the manifesto A Logic Prize in Every Country! and how was organized the Logic Prizes Contest at the 6th UNILOG in Vichy in June 2018 with the participation of 9 logic (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations