•  19
    An Algebraic Study of Tense Operators on Nelson Algebras
    with A. V. Figallo and G. Pelaitay
    Studia Logica 109 (2): 285-312. 2020.
    Ewald considered tense operators G, H, F and P on intuitionistic propositional calculus and constructed an intuitionistic tense logic system called IKt. In 2014, Figallo and Pelaitay introduced the variety IKt of IKt-algebras and proved that the IKt system has IKt-algebras as algebraic counterpart. In this paper, we introduce and study the variety of tense Nelson algebras. First, we give some examples and we prove some properties. Next, we associate an IKt-algebra to each tense Nelson algebras. …Read more
  •  3
    Towards robust regional estimates of CO 2 sources and sinks using atmospheric transport models
    with K. R. Gurney, R. M. Law, A. S. Denning, P. J. Rayner, D. Baker, P. Bousquet, L. Bruhwiler, Y. H. Chen, P. Clals, S. Fan, I. Y. Fung, M. Gloor, M. Heimann, K. Higuchi, John J., T. Maki, S. Maksyutov, K. Masarie, P. Peylin, M. Prather, B. C. Pak, J. Randerson, S. Taguchi, T. Takahashi, and C. W. Yuen
    Information about regional carbon sources and sinks can be derived from variations in observed atmospheric CO2 concentrations via inverse modelling with atmospheric tracer transport models. A consensus has not yet been reached regarding the size and distribution of regional carbon fluxes obtained using this approach, partly owing to the use of several different atmospheric transport models. Here we report estimates of surface-atmosphere CO2 fluxes from an intercomparison of atmospheric CO2 inver…Read more