86301
Other attempts have been proposed by Per Martin-Löf for a treatment of the concept of assertion inside intuitionistic type theory , and by Carlo Dalla Pozza , with a proposal of a formal pragmatics connecting propositional content ( given with classical semantics ) and illocutionary force ( given by intuitionistic semantics ) .
 Per Martin-Löf, Carlo Dalla Pozza
Please list all entity words in the text that fit the category. Output format is "word1, word2". 
Option: media, plant, vehicle, astronomical object, time, disease, animal, location, person, organization, mythical figure, food, biology, geographical phenomenon, instrument, event 
Text: {0} 
Answer:
 Per Martin-Löf, Carlo Dalla Pozza