Posts Tagged ‘temporal logic’

Y.-J. Ringard. MUSTARD WATCHES

An integrated approach to time and food

Abstract

L’article introduit le concept de montre à moutarde, qui généralise à la fois ceux de montre et de pot à moutarde. La propriété principale des montres à moutarde est qu’elles peuvent distribuer la moutarde selon les besoins (théorème 1) tout en conservant une potentialité d’affichage d’une précision de 30 secondes (théorème 2). Mais la supérioritéré elle des montres à moutarde sur les montres classiques est expriméepar notre théorème 3 : une montre à moutarde ne contenant pas demoutarde est au moins aussi précise qu’une montre ordinaire.