scholarly journals Promelanogenic Effects by an Annurca Apple-Based Natural Formulation in Human Primary Melanocytes

2021 ◽  
Vol Volume 14 ◽  
pp. 291-301
Author(s):  
Maria Grazia Ferraro ◽  
Marialuisa Piccolo ◽  
Alessandro Pezzella ◽  
Fabrizia Guerra ◽  
Francesco Maione ◽  
...  
Keyword(s):  
Natural Formulation

Development of an efficient antitick natural formulation for the control of acaricide-resistant ticks on livestock

2021 ◽  
Vol 12 (3) ◽  
pp. 101655
Author(s):  
C. Shanmuganath ◽  
Satyanshu Kumar ◽  
Raghuraj Singh ◽  
Anil Kumar Sharma ◽  
M. Saminathan ◽  
...  
Keyword(s):  
Natural Formulation

Interpolation in Conditional Equational Logic1

1991 ◽  
Vol 15 (1) ◽  
pp. 80-85
Author(s):  
P.H. Rodenburg
Keyword(s):  
Interpolation Theorem ◽  
Equational Logic ◽  
Craig’S Interpolation Theorem ◽  
Natural Formulation

In a natural formulation, Craig’s interpolation theorem is shown to hold for conditional equational logic.

scholarly journals Natural Formulation Based on Diatomaceous Earth and Botanicals against Stored Product Insects

Insects ◽  
2020 ◽  
Vol 11 (9) ◽  
pp. 613 ◽  
Author(s):  
Ivan Paponja ◽  
Vlatka Rozman ◽  
Anita Liška
Keyword(s):  
Diatomaceous Earth ◽  
Corn Oil ◽  
Sitophilus Oryzae ◽  
Rhyzopertha Dominica ◽  
Lower Amount ◽  
Favorable Effect ◽  
Stored Product Insects ◽  
N Form ◽  
Negative Side Effects ◽  
Natural Formulation

Diatomaceous earth (DE) has long been known as a potential protectant for stored cereals against various stored product insects. Despite favorable effect for the environment and human health, DE has some negative side effects on the treated commodity. In order to minimize negative response and to improve its efficacy, this paper represents a study of developed natural formulation based on DE SilicoSec® enhanced with botanicals (essential oil lavender, corn oil, and bay leaves dust) and silica gel. The activity of formulation (labeled as N Form) was tested against Sitophilus oryzae (L.), Rhyzopertha dominica (F.), and Tribolium castaneum (Herbst) in seed wheat and barley under controlled conditions. As a reference comparative value, DE SilicoSec® was used. N Form showed higher efficacy than DE, especially in barley at the lowest concentration, inducing higher mortality of all three insect species. The highest average progeny inhibition was recorded in R. dominica population both in seed wheat and barley with 94.9% and 96.3% of inhibition, respectively, followed with S. oryzae and T. castaneum inhibition of 90.6% and 86.1%, respectively, in wheat and 94.9% and 89.7%, respectively, in barley. Results indicate that the developed natural formulation N Form enhanced the activity of DE SilicoSec® using lower amount of DE dust and that it could be successfully implemented for storage of cereals as alternatives to chemical pesticides for stored product insect control.

A semantics of evidence for classical arithmetic

1995 ◽  
Vol 60 (1) ◽  
pp. 325-337 ◽  
Author(s):  
Thierry Coquand
Keyword(s):  
Winning Strategy ◽  
Propositional Calculus ◽  
Modus Ponens ◽  
Point Of View ◽  
Consistency Proof ◽  
Game Theoretic ◽  
Classical Point ◽  
Classical Arithmetic ◽  
Consistency Proofs ◽  
Natural Formulation

If it is difficult to give the exact significance of consistency proofs from a classical point of view, in particular the proofs of Gentzen [2, 6], and Novikoff [14], the motivations of these proofs are quite clear intuitionistically. Their significance is then less to give a mere consistency proof than to present an intuitionistic explanation of the notion of classical truth. Gentzen for instance summarizes his proof as follows [6]: “Thus propositions of actualist mathematics seem to have a certain utility, but no sense. The major part of my consistency proof, however, consists precisely in ascribing a finitist sense to actualist propositions.” From this point of view, the main part of both Gentzen's and Novikoff's arguments can be stated as establishing that modus ponens is valid w.r.t. this interpretation ascribing a “finitist sense” to classical propositions.In this paper, we reformulate Gentzen's and Novikoff's “finitist sense” of an arithmetic proposition as a winning strategy for a game associated to it. (To see a proof as a winning strategy has been considered by Lorenzen [10] for intuitionistic logic.) In the light of concurrency theory [7], it is tempting to consider a strategy as an interactive program (which represents thus the “finitist sense” of an arithmetic proposition). We shall show that the validity of modus ponens then gets a quite natural formulation, showing that “internal chatters” between two programs end eventually.We first present Novikoff's notion of regular formulae, that can be seen as an intuitionistic truth definition for classical infinitary propositional calculus. We use this in order to motivate the second part, which presents a game-theoretic interpretation of the notion of regular formulae, and a proof of the admissibility of modus ponens which is based on this interpretation.

Weakly normal closures of filters on Pκλ

1993 ◽  
Vol 58 (1) ◽  
pp. 55-63 ◽  
Author(s):  
Masahiro Shioya
Keyword(s):  
Regular Cardinal ◽  
Natural Generalization ◽  
Large Cardinal ◽  
The Other ◽  
Disjoint Family ◽  
Straightforward Generalization ◽  
Weak Normality ◽  
Natural Formulation

The study of filters on Pκλ started by Jech [5] as a natural generalization of that of filters on an uncountable regular cardinal κ. Several notions including weak normality have been generalized. However, there are two versions proposed as weak normality for filters on Pκλ. One is due to Abe [1] as a straightforward generalization of weak normality for filters on κ due to Kanamori [6] and the other is due to Mignone [8]. While Mignone's version is weaker than normality, Kanamori-Abe's version is not in general. In fact, Abe [2] has proved, generalizing Kanamori [6], that a filter is weakly normal in the sense of Abe iff it is weakly normal in the sense of Mignone and there exists no disjoint family of cfλ-many positive sets. Therefore Kanamori-Abe's version is essentially a large cardinal property and Mignone's version seems to be the most natural formulation of “weak” normality.In this paper, we study weak normality in the sense of Mignone. In [8], Mignone studies weak normality of canonically defined filters. We complement his chart and try to find the weakly normal closures of these filters (i.e., the minimal weakly normal filters extending them). Therefore our result is a natural refinement of Carr [4].It is now well known that combinatorics on Pκλ is not a naive generalization of that on κ. For example, Menas [7] showed that stationarity on Pκλ can be characterized by 2-dimensional regressive functions, but not by 1-dimensional ones when λ is strictly larger than κ. We show in terms of weak normality that combinatorics on Pκλ vary drastically with respect to cfλ.

Sign in / Sign up

Export Citation Format

Share Document