Works by Antoine Genitrini

( view other items matching `Antoine Genitrini`, view all matches )
Order:
  1.  43
    In the full propositional logic, 5 / 8 of classical tautologies are intuitionistically valid.Antoine Genitrini & Jakub Kozik - 2012 - Annals of Pure and Applied Logic 163 (7):875-887.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  20
    Tautologies over implication with negative literals.Hervé Fournier, Danièle Gardy, Antoine Genitrini & Marek Zaionc - 2010 - Mathematical Logic Quarterly 56 (4):388-396.
    We consider logical expressions built on the single binary connector of implication and a finite number of literals . We prove that asymptotically, when the number of variables becomes large, all tautologies have the following simple structure: either a premise equal to the goal, or two premises which are opposite literals.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark