sort by
approximate search
1shortlisttitle datasearch history  
results search [or] ISN:0000000073656300 | 1 hits
Person
ISNI: 
0000 0000 7365 6300
Name: 
Lapierre, Serge,
Dates: 
1958-
Creation class: 
Language material
Creation role: 
author
Related names: 
Colloque Intelligence artificielle et logiques non classiques: le point de vue philosophique (1992 : Université de Montréal)
Lepage, François
Lepage, Françoise (1944-2010)
Université de Montréal. Département de philosophie
Université de Montréal. Faculté des arts et des sciences
Université du Québec à Montréal
Titles: 
complétude du calcul fonctionnel des prédicats du premier ordre avec identité pour les interprétations partielles, La
Conditionnels, quantificateurs et inférences
functional completeness of 4-value monotonic protothetics, The
functional partial semantics for intensional logic, A
Logique hyperintensionnelle et domaines réflexifs
Logique partielle et savoir essai de philosophie formelle
Problèmes d'interprétation en logique modale quantificationnelle mémoire présenté à l'Université du Québec à Montréal comme exigence partielle de la maîtrise en philosophie
Toward a calculus of partial propositional types
Notes: 
Thèse (M.A.)--Université du Québec à Montréal, 1985
Sources: 
VIAF B2Q LAC SUDOC
NTA