Gentzen’s and Jaśkowski’s formulations of natural deduction are logically equivalent in the normal sense of those words. However, Gentzen’s formulation more straightforwardly lends itself both to a normalization theorem and to a theory of “meaning” for connectives (which leads to a view of semantics called ‘inferentialism’). The present paper investigates cases where Jaskowski’s formulation see...

Dynamic domains are domains quickly created, used and discarded. Today, there are no facilities available to support dynamic domains in most network management systems. This paper introduces two new language to deal with dynamic domains. The first language is used to define new domains through the selection of managed objects. The second language, on its turn, is used to visualize already creat...

Kautz, in the above paper' has presented a method of correcting single errors in SIB3 codes that does not displace the count by more than two counts in the counting sequence, assuming the two most significant bits are correct. This paper presents a correction method that does not require the two most significant bits to be correct and does not displace the count by more than one in the counting...

production by PBMC is mediated not through LH/hCG receptor, but through glucose receptor. Therefore, it should be noted that the response of PBMC to hCG might depend on the glycosylation status of hCG reagent(s) (Kosaka et al., 2002). We also observed that r-hCG-stimulated PBMC effectively promote invasion of murine and human trophoblastic cells by producing bioactive molecules (Egawa et al., 2...

Exchangeable models for vertex labeled graphs cannot replicate the large sample behaviors of sparsity and power law degree distributions observed in many network datasets. Out of this mathematical impossibility emerges the question of how network data can be modeled in a way that reflects known empirical behaviors and respects basic statistical principles. We address this question by observing ...

Platelets become activated during myocardial infarction (MI), but the direct contribution of activated platelets to myocardial reperfusion injury in vivo has yet to be reported. We tested the hypothesis that activated platelets contribute importantly to reperfusion injury during MI in mice. After 30 min of ischemia and 60 min of reperfusion, P-selectin knockout mice had a significantly smaller ...