Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
10.7551/mitpress/9780262017077.001.0001 | ||||
Variable types for meaning assembly: a logical syntax for generic noun phrases introduced by most | Recherches linguistiques de Vincennes | 2 | 2012 | |
10.1093/acprof:oso/9780199291267.001.0001 | ||||
10.1016/S0049-237X(09)70266-6 | ||||
Cut elimination for a simple formulation of epsilon calculus | Annals of Pure and Applied Logic |
| 5 | 2008 |
Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
QUANTIZATION IN LOGIC | Bingöl Üniversitesi Sosyal Bilimler Enstitüsü Dergisi | 2020 | ||
Conditions d’assertion de chaque et de tout et règles de déduction du quantificateur universel | Travaux de linguistique | 2017 |