Antoine Genitrini

Jednostki:

Publikacje:

6.
Antoine Genitrini, Jakub Kozik
In the full propositional logic, 5/8 of classical tautologies are intuitionistically valid, Annals of Pure and Applied Logic vol. 163 (2012), 875–887
5.
Daniele Gardy, Herve Fournier, Antoine Genitrini, Marek Zaionc
Tautologies over implication with negative literals, Mathematical Logic Quarterly vol. 56 (2010), 388-396
4.
Antoine Genitrini, Jakub Kozik
Quantitative comparison of Intuitionistic and Classical logics - full propositional system, Lecture Notes in Computer Science vol. 5407 (2009), 280-294
3.
Antoine Genitrini, Jakub Kozik, Grzegorz Matecki
On the density and the structure of the Peirce-like formulae, Discrete Mathematics and Theoretical Computer Science Proceedings (2008), 461-474
2.
Antoine Genitrini, Jakub Kozik, Marek Zaionc
Intuitionistic vs. Classical Tautologies, Quantitative Comparison, Lecture Notes in Computer Science vol. 4941 (2008), 100-109
1.
Daniele Gardy, Herve Fournier, Antoine Genitrini, Marek Zaionc
Classical and intuitionistic logic are asymptotically identical, Lecture Notes in Computer Science vol. 4646 (2007), 177-193

Konferencje organizowane: