We present quantitative separation logic (QSL). In contrast to classical separation logic, QSL employs quantities which evaluate to real numbers instead of predicates which evaluate to boolean values. The connectives of classical separation logic, separating conjunction (⋆) and separating implication (−−⋆ ), are both lifted from predicates to quantities. This extension is conservative: Both con...

introduction: in this study the automatic separation of oral and salivary gland activity and spontaneous secretion by means of factor analysis for quantitative salivary gland scintigraphy is introduced. methods: after intravenous administration of 99mtc sodium pertechnetate, dynamic scintigraphy was performed. 20 minutes after tracer application 2 ml of lemon juice was delivered to stimulate t...