Switch to: References

Add citations

You must login to add citations.
  1. Ground and free-variable tableaux for variants of quantified modal logics.Marta Cialdea Mayer & Serenella Cerrito - 2001 - Studia Logica 69 (1):97-131.
    In this paper we study proof procedures for some variants of first-order modal logics, where domains may be either cumulative or freely varying and terms may be either rigid or non-rigid, local or non-local. We define both ground and free variable tableau methods, parametric with respect to the variants of the considered logics. The treatment of each variant is equally simple and is based on the annotation of functional symbols by natural numbers, conveying some semantical information on the worlds where (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Le projet husserlien de réforme de al logique et ses prolongements chez Gian-Carlo Rota.Carlos Lobo - 2017 - Revue de Synthèse 138 (1-4):105-150.
    RésuméGian-Carlo Rota est l’un des rares grands mathématiciens de la deuxième moitié du XX e siècle dont l’intérêt pour la logique formelle soit aussi ouvertement déclaré et ne se soit jamais démenti, depuis sa formation d’étudiant à Princeton jusqu’à ses derniers écrits. Plus exceptionnel encore, il fait partie des rares lecteurs assidus de Husserl à s’être aperçu que la phé-noménologie poursuivait un projet de réforme de la logique formelle. L’article propose d’attester l’existence d’un tel projet chez Husserl ; d’en examiner (...)
    Download  
     
    Export citation  
     
    Bookmark