Sette’s calculus P1 and some hierarchies of paraconsistent systems

2020 ◽  
Vol 30 (5) ◽  
pp. 1109-1124
Author(s):  
Janusz Ciuciura
Keyword(s):  
Atomic Level ◽  
Propositional Variable ◽  
Necessary Condition ◽  
Consequence Relation

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.

scholarly journals On the Equivalence Principle and Relativistic Quantum Mechanics

2020 ◽  
Vol 50 (11) ◽  
pp. 1253-1269
Author(s):  
Maciej Trzetrzelewski
Keyword(s):  
Quantum Mechanics ◽  
Equivalence Principle ◽  
Relativistic Quantum ◽  
Geodesic Equation ◽  
Atomic Level ◽  
Relativistic Quantum Mechanics ◽  
Necessary Condition ◽  
Electromagnetic Potential ◽  
Force Equation ◽  
Einstein's Equivalence Principle

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.

The Infancy of Solar-Type Stars and its Relevance for the Origin of Life

1997 ◽  
Vol 161 ◽  
pp. 267-282 ◽  
Author(s):  
Thierry Montmerle
Keyword(s):  
Main Sequence ◽  
Solar Nebula ◽  
Circumstellar Disks ◽  
T Tauri Stars ◽  
Necessary Condition ◽  
Sequence Evolution ◽  
T Tauri ◽  
Solar Type ◽  
Optical Domain ◽  
The Origin Of Life

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.

Atomic-level imaging of the surface structure of Ag2O

1984 ◽  
Vol 42 ◽  
pp. 656-657
Author(s):  
William Krakow
Keyword(s):  
High Vacuum ◽  
Atomic Level ◽  
Ultra High Vacuum ◽  
Research Groups ◽  
Resolution Electron ◽  
Surface Reconstructions ◽  
Order Of Magnitude ◽  
High Resolution Electron Microscope ◽  
Saturated Structure ◽  
Transmission And Reflection

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.

Universal ESEM

1993 ◽  
Vol 51 ◽  
pp. 786-787
Author(s):  
G.D. Danilatos
Keyword(s):  
Electron Microscope ◽  
Scanning Electron Microscope ◽  
High Vacuum ◽  
Natural Extension ◽  
Necessary Condition ◽  
Environmental Scanning ◽  
Detection Systems ◽  
Small Gain ◽  
Detection Medium ◽  
Scanning Electron

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.

Surface roughness measurements of vanadium-contaminated fluidized cracking catalysts by atomic force microscopy

1996 ◽  
Vol 54 ◽  
pp. 866-867
Author(s):  
H. Kinney ◽  
M.L. Occelli ◽  
S.A.C. Gould
Keyword(s):  
Surface Roughness ◽  
Zeolite Y ◽  
Atomic Level ◽  
Microporous Structure ◽  
Contact Mode ◽  
Force Microscopy ◽  
Atomic Force ◽  
Before And After ◽  
Roughness Measurements ◽  
Cracking Catalysts

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.

Guinier-Preston Platelets Interaction with Dislocations: Study at the Atomic Level

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

Analysis of interconnections between technical systems on hierarchically connected technological levels of steel sheet production by hot rolling

2020 ◽  
Vol 76 (8) ◽  
pp. 847-855
Author(s):  
E. N. Shiryaeva ◽  
M. A. Polyakov ◽  
D. V. Terent'ev
Keyword(s):  
Hot Rolling ◽  
Systems Analysis ◽  
Rolling Mill ◽  
Steel Sheet ◽  
Technological System ◽  
Necessary Condition ◽  
Rolled Sheet ◽  
Technological Systems ◽  
Hot Rolling Mill ◽  
Technical Systems

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.

Review of methods of slag removal from melt surface in hot metal and steel ladles

2020 ◽  
Vol 76 (12) ◽  
pp. 1243-1252
Author(s):  
B. A. Sivak ◽  
A. V. Protasov ◽  
L. A. Smirnov
Keyword(s):  
Settling Tank ◽  
Necessary Condition ◽  
Hot Metal ◽  
Slag Removal ◽  
Production Scale ◽  
Technical Parameters ◽  
Ecological Requirements ◽  
The Usa ◽  
Work Done ◽  
Technological Methods

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.

What Is an Institution?

2007 ◽  
pp. 5-27 ◽  
Author(s):  
J. Searle
Keyword(s):  
Physical Structure ◽  
Necessary Condition ◽  
Collective Intentionality ◽  
Institutional Facts ◽  
Institutional Fact ◽  
The Status ◽  
The Creation ◽  
State Of Affairs ◽  
In Virtue Of ◽  
Typical Point

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