Some theorems about the sentential calculi of Lewis and Heyting

1948 ◽  
Vol 13 (1) ◽  
pp. 1-15 ◽  
Author(s):  
J. C. C. McKinsey ◽  
Alfred Tarski
Keyword(s):  
Main Interest ◽  
Sentential Calculus ◽  
Closure Algebras

In this paper we shall prove theorems about some systems of sentential calculus, by making use of results we have established elsewhere regarding closure algebras and Brouwerian albegras. We shall be concerned mostly with the Lewis system and the Heyting system. Some of the results here are new (in particular, Theorems 2.4, 3.1, 3.9, 3.10, 4.5, and 4.6); others have been stated without proof in the literature (in particular, Theorems 2.1, 2.2, 4.4, 5.2, and 5.3).The proofs to be given here will be found to be mostly very simple; generally speaking, they amount to drawing conclusions from the theorems established in McKinsey and Tarski [10] and [11]. We have thought it might be worth while, however, to publish these rather elementary consequences of our previous work—so as to make them readily available to those whose main interest lies in sentential calculus rather than in topology or algebra.

The scientific bibliography of Roberto Lawley (1818–1881) and his contribution to the study of fossil sharks

2006 ◽  
Vol 33 (2) ◽  
pp. 267-281
Author(s):  
Giuseppe Manganelli ◽  
Andrea Benocci ◽  
Valeriano Spadini
Keyword(s):  
New Taxa ◽  
Scientific Community ◽  
Publishing House ◽  
Main Interest ◽  
Private Collection ◽  
Scientific Papers

Roberto Massimo Lawley (1818–1881) was a non-academic naturalist who made a major contribution to the Tuscan scientific community of his time. He was involved in the foundation of two societies (Società Italiana di Malacologia, 1874–1899; Società Toscana di Scienze Naturali, 1874–today) and a publishing house (Biblioteca Malacologica Italiana). He first devoted himself to malacology, but Neogene fossil fishes became his main interest. Over the years, he gathered a huge private collection of fossils and produced 18 scientific papers, dealing mainly with fossil sharks. Subsequent revisers criticized his approach to fossil taxa: their observations were generally sound, but they failed to fully recognize Lawley's scientific merits. His scientific papers, new taxa established by him and eponymys are given in the Appendix.

Menggali Metode Berteologi Pastoral dari Pentalogi R. Hardawiryana SJ

2015 ◽  
Vol 14 (2) ◽  
pp. 270
Author(s):  
C. Putranto
Keyword(s):  
Theological Method ◽  
Second Vatican Council ◽  
Main Interest ◽  
Vatican Council ◽  
Theological Foundation ◽  
Unpublished Manuscripts ◽  
Intellectual Formation

Abstrak: Dalam tulisan ini penulis berusaha mencermati karya-karya dari almarhum Pater Robertus Hardawiryana, SJ (1926-2009), salah satu teolog Indonesia yang terkemuka segera seusai Konsili Vatikan II. Berdasarkan karya-karya beliau terakhir yang sudah diterbitkan, yakni Pentalogi, tetapi juga memanfaatkan beberapa manuskrip yang belum diterbitkan, penulis memusatkan diri pada pandangan Hardawiryana tentang metode berteologi sejauh tercermin dalam tulisan-tulisannya. Pada umumnya, pandangan Hardawiryana tentang metode bisa dilihat pada awal karangan-karangannya, di mana tampak bahwa dia sangat sadar akan pentingnya metode dalam berteologi. Dalam hal ini Hardawiryana sejalan dengan arah-arah baru yang dibuka oleh Federasi Konferensi-konferensi Uskup Asia dalam pelbagai dokumennya. Meskipun demikian, sulit diharapkan suatu paparan teoretis yang menyeluruh dan sistematis tentang metode berteologi dari teolog ini, mengingat bahwa minat utamanya lebih tertuju pada pengupayaan suatu arah pastoral yang kuat pada tulisan-tulisan teologi, dan sebaliknya juga, pada pemberian dasar teologis yang kuat pada kebijakan-kebijakan pastoral. Selain itu, penulis juga memandang perlu untuk menilik sejenak pembentukan intelektual Hardawiryana agar lebih menolong untuk memahami kecenderungan-kecenderungannya kelak dalam berteologi. Kata-kata Kunci: Teologi, metode berteologi, pembinaan teologi, orientasi pastoral, inkulturasi, FABC. Abstract: In this essay the author attempts to explore the works of the late Fr. Robert Hardawiryana, S.J., (1926-2009), one of prominent Indonesian theologians in the wake of the Second Vatican Council. Based on this theologian’s latest published works, the Pentalogi, but also making use of some yet unpublished manuscripts, the author focuses on Hardawiryana’s view of theological method as reflected in his writings. In most cases, his view on method can be seen from the introduction he provides at the beginning of his articles, as he is highly aware of the importance of method in doing theology. In this way he concurs with the new trends opened up by the Federation of Asian Bishops’ Conference in its various documents. However, one can hardly expect a thorough and systematic theoretical exposition on theological method from this theologian, as his main interest lies elsewhere, namely, to bring a truly responsible pastoral thrust to theological writings, and vice versa, to provide sound theological foundation to pastoral policies. The author also considers that a glimpse at his intellectual formation would be of considerable help to understand Hardawiryana’s future leanings in theology. Keywords: Theology, method of theology, theological formation, pastoral orientation, inculturation, FABC.

MIXED FRACTIONAL DIFFERENTIATION OPERATORS IN HÖLDER SPACES DEFINED BY USUAL HÖLDER CONDITION

2019 ◽  
Author(s):  
T. Mamatov ◽  
R. Sabirova ◽  
D. Barakaev
Keyword(s):  
Fractional Derivative ◽  
Fractional Differentiation ◽  
Hölder Condition ◽  
Hölder Spaces ◽  
Main Interest ◽  
Hölder Class ◽  
Holder Class ◽  
Function Of Two Variables ◽  
Holder Spaces

We study mixed fractional derivative in Marchaud form of function of two variables in Hölder spaces of different orders in each variables. The main interest being in the evaluation of the latter for the mixed fractional derivative in the cases Hölder class defined by usual Hölder condition

Literary Representations of Female Identity

2002 ◽  
Vol 19 (4) ◽  
pp. 23-41
Author(s):  
Safoi Babana-Hampton
Keyword(s):  
Related Problem ◽  
Female Identity ◽  
Literary Representations ◽  
Main Interest ◽  
Female Relationships ◽  
Arab Muslim ◽  
Feminine Writing ◽  
The Given ◽  
Female Experience

The essay examines the texts of the two women writers - Leila Abouzeid (from Morocco) and Nawal El Saadawi (from Egypt) - as offering two female perspectives within what is commonly referred to as "feminine" writing in the Arab Muslim world. My main interest is to explore the various discursive articulations of female identity that are challenged or foregrounded as a positive model. The essay points to the serious pitfalls of some feminist narratives in Arab-Muslim societies by dealing with a related problem: the author's setting up of convenient conceptual dichotomies, which account for the female experience, that reduce male-female relationships in the given social context to a fundamentally antagonistic one. Abouzeid's novel will be a case study of a more positive but also realistic and complex perspec­tive on female experience ...

CONCEPTUAL FRAMEWORK FOR MANAGING THE ECONOMIC BEHAVIOR OF AN INDUSTRIAL PARK

2020 ◽  
Vol 1 (12) ◽  
pp. 7-12
Author(s):  
D. S. MIRONOV ◽  
Keyword(s):  
Interest Groups ◽  
Conceptual Framework ◽  
System Analysis ◽  
Economic Behavior ◽  
Industrial Park ◽  
Conceptual Basis ◽  
Management Decisions ◽  
Main Interest ◽  
Scientific Methods ◽  
General Scientific

In this article, using general scientific methods, the existing approaches to making management decisions in the process of implementing one or another variant of the economic behavior of an industrial park are analyzed. The results of the system analysis revealed that most approaches do not fully take into account the peculiarities of the economic behavior of the industrial park, depending on the interests of residents and resource suppliers. The main interest groups and conceptual basis for choosing an option for such behavior are presented.

Activated Sludge Treatment of Kraft Mill Effluents from Conventional and Oxygen Bleaching

1991 ◽  
Vol 24 (3-4) ◽  
pp. 427-430 ◽  
Author(s):  
J. Nevalainen ◽  
P.-R. Rantala ◽  
J. Junna ◽  
R. Lammi
Keyword(s):  
Activated Sludge ◽  
Kraft Pulp ◽  
Activated Sludge Process ◽  
Chlorinated Phenols ◽  
Pulp Mills ◽  
Main Interest ◽  
Sludge Treatment ◽  
Kraft Pulp Mills ◽  
Activated Sludge Processes ◽  
Oxygen Bleaching

Conventional and oxygen bleaching effluents from hardwood kraft pulp mills were treated in laboratory-scale activated sludge processes. The main interest was the fate of organochlorine compounds in the activated sludge process. In the treatment of conventional bleaching wastewaters the BOD7-reduction was 80-91 % and in oxygen bleaching wastewaters 86-93 %. The respective CODCr removals were about 40 % and about 50 %. The AOX reductions were on average 22 % and 40 % in the treatment of conventional and oxygen bleaching effluents, respectively. The reductions of chlorinated phenols, guajacols and catecols were usually more than 50 % in both reactors. Very little accumulation of AOX into the sludge was observed. The stripping of AOX from aeration unit was insignificant.

8. Retrospect of Mental Philosophy (Periodical Literature.)

1880 ◽  
Vol 26 (113) ◽  
pp. 119
Author(s):  
B. F. C. Costelloe
Keyword(s):  
Periodical Literature ◽  
Main Interest ◽  
Intended Meaning ◽  
Border Line ◽  
Emotional Language ◽  
Ordinary Power ◽  
The Moment ◽  
The Brain ◽  
The Way

The first number for the year is not remarkable for any paper of striking value. Readers of the Journal will be chiefly attracted by the long and clearly written resumé of Dr. Hughlings Jackson's recent studies “On Affections of Speech from Disease of the Brain,” which is contributed by Mr. James Sully. He remarks on the great value of Dr. Jackson's attempts to classify the different forms of aphasia under the three main heads or stages of—(1) Defect of Speech, in which the patient has a full vocabulary, but confuses words; (2) Loss of Speech, in which the patient is practically speechless, and his pantomimic power is impaired as well; and (3) Loss of Language, in which, besides being speechless, he has altogether lost the power of pantomime, and even his faculty of emotional language is deeply involved in the wreck. All these states or stages again are, properly speaking, to be distinguished altogether from affections of speech in the way of loss of articulation (owing to paralysis of the tongue, &c.), or loss of vocalisation (owing to disease of the larynx); whereas the three degrees or stages of aphasia proper are due to a deep-seated and severe disorganisation of the brain. The main interest of the theory lies in the ingenious and carefully-argued analysis of the symptoms, by which Dr. Jackson arrives at the theory that as the process of destruction goes on, the superior “layers” or strata of speech fail first—those namely which involve the ordinary power of adapting sounds to the circumstances of the moment as they arise; after them fail the “more highly organized utterances” those, namely, which have in any way become automatic, such as “come on,” “wo! wo!” and even “yes” and “no,” which stand on the border-line between emotional and intellectual language; next fails the power of adapting other than vocal signs to convey an intended meaning, which is called, rather clumsily, “pantomimic propositionising;” and last of all dies out the power of uttering sounds or making signs expressive merely of emotion—a power which, of course, is not true speech at all.

A Layered Mapping of Ada 202X to OpenMP

2021 ◽  
Vol 40 (2) ◽  
pp. 55-58
Author(s):  
S. Tucker Taft
Keyword(s):  
Operating System ◽  
Application Programming Interface ◽  
Light Weight ◽  
Main Interest ◽  
Thread Scheduling ◽  
Environment Variables ◽  
Application Programming ◽  
Parallel Loops ◽  
Programming Interface

The OpenMP specification defines a set of compiler directives, library routines, and environment variables that together represent the OpenMP Application Programming Interface, and is currently defined for C, C++, and Fortran. The forthcoming version of Ada, currently dubbed Ada 202X, includes lightweight parallelism features, in particular parallel blocks and parallel loops. All versions of Ada, since its inception in 1983, have included "tasking," which corresponds to what are traditionally considered "heavyweight" parallelism features, or simply "concurrency" features. Ada "tasks" typically map to what are called "kernel threads," in that the operating system manages them and schedules them. However, one of the goals of lightweight parallelism is to reduce overhead by doing more of the management outside the kernel of the operating system, using a light-weight-thread (LWT) scheduler. The OpenMP library routines support both levels of threading, but for Ada 202X, the main interest is in making use of OpenMP for its lightweight thread scheduling capabilities.

scholarly journals Constancy of the optimum temperature of an enzyme under varying concentrations of substrate and of enzyme

1914 ◽  
Vol 88 (602) ◽  
pp. 258-262
Keyword(s):  
Experimental Evidence ◽  
Aspergillus Oryzae ◽  
Hydrolytic Enzyme ◽  
Fixed Duration ◽  
Optimum Temperature ◽  
Enzymic Hydrolysis ◽  
Main Interest ◽  
General Law ◽  
The Moment ◽  
Hydrolysis Of

In a recent paper a new enzymic relation is recorded. For the enzymic hydrolysis of salicin—by the enzyme which Gabriel Bertrand and the author have named salicinase —it is found that, in an action of fixed duration, the temperature of greatest activity of the ferment is always the same, whatever the dilutions of substrate and of enzyme adopted for the determination. In other words, the duration of the action being constant, the optimum tem­perature of the ferment is independent of the concentration both of the substrate and of the enzyme. The observation is suggestive: if true of one enzyme it may be true of all, and possibly becomes the enunciation of a general law. Herein, for the moment, lies its main interest. In the present paper further experimental evidence for this hypothesis in given, in the case of another hydrolytic enzyme, the maltase of Aspergillus oryzæ (taka-diastase).

Some Unpublished Boiotian Tombstones

1974 ◽  
Vol 69 ◽  
pp. 121-128
Author(s):  
John M. Fossey
Keyword(s):  
Main Interest ◽  
Field Worker

The following is a collection of twenty-two epitaphs observed by me during travels in Boiotia between 1965 and 1970. They represent mainly central Boiotia and the Copaïs; the eastern plains have been less productive. The texts are presented in catalogue form following the same geographic sequence as IG vii. The main interest of these brief texts is, of course, prosopographic, and short comments on the names are added as relevant. All dimensions of stones are given in metres, and of letters in centimetres.The publication of such a group of humble epitaphs needs no excuse: the very perishability of these stones makes it the incumbent duty of the field-worker to preserve, however imperfectly, the record of all such material as he observes. In 1965 men were at work with sledge-hammers breaking up ancient worked blocks in heaps at Erimókastro, heaps such as those which contained nos. 1 and 2.

Sign in / Sign up

Export Citation Format

Share Document