4 found
Order:
  1.  8
    An Alternative Natural Deduction for the Intuitionistic Propositional Logic.Mirjana Ilić - 2017 - Bulletin of the Section of Logic 45 (1).
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  15
    An Alternative Normalization of the Implicative Fragment of Classical Logic.Branislav Boričić & Mirjana Ilić - 2015 - Studia Logica 103 (2):413-446.
    A normalizable natural deduction formulation, with subformula property, of the implicative fragment of classical logic is presented. A traditional notion of normal deduction is adapted and the corresponding weak normalization theorem is proved. An embedding of the classical logic into the intuitionistic logic, restricted on propositional implicational language, is described as well. We believe that this multiple-conclusion approach places the classical logic in the same plane with the intuitionistic logic, from the proof-theoretical viewpoint.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  5
    “Herzallerliebstes Helenchen”. Mileva Einsteins Briefe an Helene Savić.Mirjana Ilić & Andreas Kleinert - 2003 - NTM Zeitschrift für Geschichte der Wissenschaften, Technik und Medizin 11 (1):29-33.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4.  4
    An Alternative Gentzenisation of RW+∘.Mirjana Ilić - 2016 - Mathematical Logic Quarterly 62 (6):465-480.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark