Sette’s calculus P1 and some hierarchies of paraconsistent systems

2020 ◽  
Vol 30 (5) ◽  
pp. 1109-1124
Author(s):  
Janusz Ciuciura

Abstract The necessary condition for a calculus to be paraconsistent is that its consequence relation is not explosive. This results in rejection of the principle of ex contradictione sequitur quodlibet. In 1973, Sette presented a calculus, denoted as $P^1$, which is paraconsistent only at the atomic level, i.e. $\alpha $ and ${\sim }\alpha $ yield any $\beta $ if, and only if the formula $\alpha $ is not a propositional variable. The calculus has been viewed as one of the noteworthy paraconsistent calculi since then. The objective of this paper is to propose a new semantics for Sette’s calculus and present some hierarchies of the paraconsistent calculi, which are based on $P^1$. We demonstrate that $P^1$ is sound and complete with respect to the semantics and so are all the calculi under consideration.

2020 ◽  
Vol 50 (11) ◽  
pp. 1253-1269
Author(s):  
Maciej Trzetrzelewski

AbstractEinstein’s Equivalence Principle implies that the Lorentz force equation can be derived from a geodesic equation by imposing a certain (necessary) condition on the electromagnetic potential (Trzetrzelewski, EPL 120:4, 2018). We analyze the quantization of that constraint and find the corresponding differential equations for the phase of the wave function. We investigate these equations in the case of Coulomb potential and show that physically acceptable solutions do not exist. This result signals an inconsistency between Einstein’s Equivalence Principle and Relativistic Quantum Mechanics at an atomic level.


1997 ◽  
Vol 161 ◽  
pp. 267-282 ◽  
Author(s):  
Thierry Montmerle

AbstractFor life to develop, planets are a necessary condition. Likewise, for planets to form, stars must be surrounded by circumstellar disks, at least some time during their pre-main sequence evolution. Much progress has been made recently in the study of young solar-like stars. In the optical domain, these stars are known as «T Tauri stars». A significant number show IR excess, and other phenomena indirectly suggesting the presence of circumstellar disks. The current wisdom is that there is an evolutionary sequence from protostars to T Tauri stars. This sequence is characterized by the initial presence of disks, with lifetimes ~ 1-10 Myr after the intial collapse of a dense envelope having given birth to a star. While they are present, about 30% of the disks have masses larger than the minimum solar nebula. Their disappearance may correspond to the growth of dust grains, followed by planetesimal and planet formation, but this is not yet demonstrated.


Author(s):  
William Krakow

In recent years electron microscopy has been used to image surfaces in both the transmission and reflection modes by many research groups. Some of this work has been performed under ultra high vacuum conditions (UHV) and apparent surface reconstructions observed. The level of resolution generally has been at least an order of magnitude worse than is necessary to visualize atoms directly and therefore the detailed atomic rearrangements of the surface are not known. The present author has achieved atomic level resolution under normal vacuum conditions of various Au surfaces. Unfortunately these samples were exposed to atmosphere and could not be cleaned in a standard high resolution electron microscope. The result obtained surfaces which were impurity stabilized and reveal the bulk lattice (1x1) type surface structures also encountered by other surface physics techniques under impure or overlayer contaminant conditions. It was therefore decided to study a system where exposure to air was unimportant by using a oxygen saturated structure, Ag2O, and seeking to find surface reconstructions, which will now be described.


Author(s):  
G.D. Danilatos

The environmental scanning electron microscope (ESEM) has evolved as the natural extension of the scanning electron microscope (SEM), both historically and technologically. ESEM allows the introduction of a gaseous environment in the specimen chamber, whereas SEM operates in vacuum. One of the detection systems in ESEM, namely, the gaseous detection device (GDD) is based on the presence of gas as a detection medium. This might be interpreted as a necessary condition for the ESEM to remain operational and, hence, one might have to change instruments for operation at low or high vacuum. Initially, we may maintain the presence of a conventional secondary electron (E-T) detector in a "stand-by" position to switch on when the vacuum becomes satisfactory for its operation. However, the "rough" or "low vacuum" range of pressure may still be considered as inaccessible by both the GDD and the E-T detector, because the former has presumably very small gain and the latter still breaks down.


Author(s):  
H. Kinney ◽  
M.L. Occelli ◽  
S.A.C. Gould

For this study we have used a contact mode atomic force microscope (AFM) to study to topography of fluidized cracking catalysts (FCC), before and after contamination with 5% vanadium. We selected the AFM because of its ability to well characterize the surface roughness of materials down to the atomic level. It is believed that the cracking in the FCCs occurs mainly on the catalysts top 10-15 μm suggesting that the surface corrugation could play a key role in the FCCs microactivity properties. To test this hypothesis, we chose vanadium as a contaminate because this metal is capable of irreversibly destroying the FCC crystallinity as well as it microporous structure. In addition, we wanted to examine the extent to which steaming affects the vanadium contaminated FCC. Using the AFM, we measured the surface roughness of FCCs, before and after contamination and after steaming.We obtained our FCC (GRZ-1) from Davison. The FCC is generated so that it contains and estimated 35% rare earth exchaged zeolite Y, 50% kaolin and 15% binder.


1996 ◽  
Vol 6 (7) ◽  
pp. 825-829 ◽  
Author(s):  
M. Karlík ◽  
B. Jouffrey
Keyword(s):  

Author(s):  
E. N. Shiryaeva ◽  
M. A. Polyakov ◽  
D. V. Terent'ev

Complexity of modern metallurgical plants, presence of great number of horizontal and vertical interactions between their various structural subdivisions makes it necessary to apply a systems analysis to elaborate effective measures for stable development of a plant operation. Among such measures, digitalization of a plant is widespread at present. To implement the digitalization it is necessary to have clear vision about links at all the levels of the technological system of a plant. A terminology quoted, accepted in the existing regulatory documents for defining of conceptions, comprising the technological system. It was shown, that the following four hierarchical levels of technological systems are distinguished: technological systems of operations, technological systems of processes, technological systems of production subdivisions and technological systems of plants. A hierarchical scheme of technological systems of hot-rolled sheet production at an integrated steel plant presented. Existing horizontal and vertical links between the basic plant’s shops shown. Peculiarities of flows of material, energy and information at the operation “rolling” of the technological system “hot rolling of a steel sheet” considered. As a technical system of the technological process of the hot rolling, the hot rolling mill was chosen. A structural diagram of the hot rolling mill was elaborated, the mill being consisted of reheating furnaces, roughing and finishing stand groups, with an intermediate roll-table between them, and down-coilers section. Since the rolling stands are the basic structural elements of the hot rolling mill, structural diagrams of a roughing and a finishing stands were elaborated. Results of the systems analysis of the technological and technical systems, hierarchically linked in the process of steel sheet hot rolling, can be applied for perfection of organization structure of the whole plant, as well as for elaboration mathematical models of a system separate elements functioning, which is a necessary condition for a plant digitalization.


Author(s):  
B. A. Sivak ◽  
A. V. Protasov ◽  
L. A. Smirnov

The removal of slag from melt surface of hot metal and steel ladles is a necessary condition to provide a deep desulphurization and dephosphorization of hot metal and steel in the process of their processing. A review of methods of slag skimming presented, mainly based on slag mechanical shoveling and its removal out of ladles by vacuum sucking. It was shown, that manipulators design for the slag skimming working instrument moving depends on the production scale, mass of the processed heats, amount and properties of the slag to be removed, production process intensity and ecological requirements. Peculiarities of designs and technical parameters of machines for slag skimming presented, designed by Irkutsk plant of heavy machinery, Scientific and Production Enterprise n.a. M.I. Platov, VNIIMETMASH, Kuznetsk and Novolipetsk steel plants. Technological methods of control of slag composition and physical properties considered, first of all of viscosity and fluidity, which have significant effect on selection of a method of slag skimming. Advantages and drawbacks of actions, aimed at more complete slag removal from metal surface by a scraper noted including bath blowing off by an inert gas, liquid slag tapping into am intermediate settling tank following its removal into a slag bowl. In case of satisfactory fluidity it is possible to slag removal by vacuum sucking, which at the same time promoted the melt degassing. Work done in this area abroad noted. Methods of vacuum slag removal developed in the USA and Japan described.


2007 ◽  
pp. 5-27 ◽  
Author(s):  
J. Searle

The author claims that an institution is any collectively accepted system of rules (procedures, practices) that enable us to create institutional facts. These rules typically have the form of X counts as Y in C, where an object, person, or state of affairs X is assigned a special status, the Y status, such that the new status enables the person or object to perform functions that it could not perform solely in virtue of its physical structure, but requires as a necessary condition the assignment of the status. The creation of an institutional fact is, thus, the collective assignment of a status function. The typical point of the creation of institutional facts by assigning status functions is to create deontic powers. So typically when we assign a status function Y to some object or person X we have created a situation in which we accept that a person S who stands in the appropriate relation to X is such that (S has power (S does A)). The whole analysis then gives us a systematic set of relationships between collective intentionality, the assignment of function, the assignment of status functions, constitutive rules, institutional facts, and deontic powers.


Sign in / Sign up

Export Citation Format

Share Document