- Full text PDF available (5)
- This year (0)
- Last five years (3)
We introduce the notion of a logical model category which is a Quillen model category satisfying some additional conditions. Those conditions provide enough expressive power that one can soundly interpret dependent products and sums in it while also having a purely in-tensional interpretation of the identity types. On the other hand, those conditions are… (More)
We explore the possibility and some potential payoffs of using the theory of accessible categories in the study of categories of logics. We illustrate this by two case studies focusing on the category of finitary structural logics and its subcategory of algebraizable logics.
We observe that the splitting of a given logic L into sublogics Li can be seen as a covering of L by the Li in a category of logics and take the first steps in exploring the possibility of applying the related language of Grothendieck topologies in this setting.
The search for a load-independent index of myocardial contractility has been a focus for nearly 100 years. Nearly all of the parameters developed have yielded insight into cardiac function but their clinical utility has been limited. A new index, dsigma*/dt (max), has been proposed to be useful in the clinic. This parameter is expressed as the maximum time… (More)