Log in

Relevant bibliographies by topics / Logic stratification / Journal articles

To see the other types of publications on this topic, follow the link: Logic stratification.

Journal articles on the topic 'Logic stratification'

Author: Grafiati

Published: 2 June 2025

Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Logic stratification.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Antoniou, Grigoris. "Stratification for default logic variants." International Journal of Intelligent Systems 13, no. 9 (1998): 785–99. http://dx.doi.org/10.1002/(sici)1098-111x(199809)13:9<785::aid-int1>3.0.co;2-e.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Zarycki, Tomasz. "Class Analysis in Conditions of a Dual-Stratification Order." East European Politics and Societies: and Cultures 29, no. 3 (2015): 711–18. http://dx.doi.org/10.1177/0888325415599199.

Full text

Abstract:

This article presents a critique of classic applications of class analysis to Polish society. It argues from a Bourdieusian standpoint that class is subordinate to culture in shaping social relations in Poland. More specifically, Poland can be seen as a dual-stratification order, with the economic logic of class clashing continually with the logic of rank, which is defined in terms of cultural capital. These two models of logics appear to be in constant competition, which may also be related to the tension between economic and cultural elites. The latter is most clearly represented by the old

APA, Harvard, Vancouver, ISO, and other styles

3

Palopoli, Luigi. "Testing logic programs for local stratification." Theoretical Computer Science 103, no. 2 (1992): 205–34. http://dx.doi.org/10.1016/0304-3975(92)90013-6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Fischer, Andreas. "O-minimal Λm-regular stratification". Annals of Pure and Applied Logic 147, № 1-2 (2007): 101–12. http://dx.doi.org/10.1016/j.apal.2007.04.002.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Crabbé, Marcel. "Stratification and cut-elimination." Journal of Symbolic Logic 56, no. 1 (1991): 213–26. http://dx.doi.org/10.2307/2274915.

Full text

Abstract:

In this paper, we show the normalization of proofs of NF (Quine's New Foundations; see [15]) minus extensionality. This system, called SF (Stratified Foundations) differs in many respects from the associated system of simple type theory. It is written in a first order language and not in a multi-sorted one, and the formulas need not be stratifiable, except in the instances of the comprehension scheme. There is a universal set, but, for a similar reason as in type theory, the paradoxical sets cannot be formed.It is not immediately apparent, however, that SF is essentially richer than type theor

APA, Harvard, Vancouver, ISO, and other styles

6

Boudes, Pierre, Damiano Mazza, and Lorenzo Tortora de Falco. "An abstract approach to stratification in linear logic." Information and Computation 241 (April 2015): 32–61. http://dx.doi.org/10.1016/j.ic.2014.10.006.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Persson, Erik, Ewan Ferlie, and Juan Baeza. "Understanding professional stratification and hybridisation in the medical profession: exploratory evidence from Brazilian federal university hospitals." Revista de Administração Pública 55, no. 5 (2021): 1034–76. http://dx.doi.org/10.1590/0034-761220200792.

Full text

Abstract:

Abstract This paper explores drivers, implications, and trends of professional stratification and hybridisation in the medical profession employed in Brazilian substituir por: federal university hospitals (HUFs). Drawing on exploratory findings, we examine some repercussions of the migration of university hospitals to EBSERH, a public company established by the federal government to manage and organise HUFs integrated into the Unified Health System (SUS). Our research shows that transferring hospital administration to EBSERH has led to further internal stratification of the medical workforce.

APA, Harvard, Vancouver, ISO, and other styles

8

Zhao, Henry. "Study of the Reproduction of Educational Stratification." BCP Social Sciences & Humanities 19 (August 30, 2022): 654–57. http://dx.doi.org/10.54691/bcpssh.v19i.1806.

Full text

Abstract:

The reproduction of educational stratification, also known as the solidification of social stratification due to the uneven distribution of educational resources, is one of the current social ills. With the help of Bourdieu's educational stratification theory, the logical mechanism of the reproduction of educational stratification is analyzed from the logic of the process before entering the schooling system, during the schooling system, and after leaving the schooling system to provide countermeasures and references for breaking the solidification of educational resources stratification.

APA, Harvard, Vancouver, ISO, and other styles

9

Leone, N., and G. Rossi. "Well-founded semantics and stratification for ordered logic programs." New Generation Computing 12, no. 1 (1993): 91–121. http://dx.doi.org/10.1007/bf03038273.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Searson, Michael. "Logic, pedagogy, and social stratification: A response to Papert." New Ideas in Psychology 4, no. 2 (1986): 229–30. http://dx.doi.org/10.1016/0732-118x(86)90013-9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

Lindahl, Lars, and Jan Odelstad. "Stratification of normative systems with intermediaries." Journal of Applied Logic 9, no. 2 (2011): 113–36. http://dx.doi.org/10.1016/j.jal.2010.01.002.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Baheri, Ali, and Peng Wei. "Multi-Fidelity Temporal Reasoning: A Stratified Logic for Cross-Scale System Specifications." Logics 3, no. 2 (2025): 5. https://doi.org/10.3390/logics3020005.

Full text

Abstract:

We present Stratified Metric Temporal Logic (SMTL), a novel formalism for specifying and verifying the properties of complex cyber–physical systems that exhibit behaviors across multiple temporal and abstraction scales. SMTL extends existing temporal logics by incorporating a stratification operator, enabling the association of temporal properties with specific abstraction levels. This allows for the natural expression of multi-scale requirements while maintaining formal reasoning about inter-level relationships. We formalize the syntax and semantics of SMTL, proving that it strictly subsumes

APA, Harvard, Vancouver, ISO, and other styles

13

Bidoit, Nicole, and Christine Froidevaux. "General logical databases and programs: Default logic semantics and stratification." Information and Computation 91, no. 1 (1991): 15–54. http://dx.doi.org/10.1016/0890-5401(91)90073-b.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

KONTOPOULOS, EFSTRATIOS, NICK BASSILIADES, GRIGORIS ANTONIOU, and ANNA SERIDOU. "VISUAL MODELING OF DEFEASIBLE LOGIC RULES WITH DR-VisMo." International Journal on Artificial Intelligence Tools 17, no. 05 (2008): 903–24. http://dx.doi.org/10.1142/s0218213008004217.

Full text

Abstract:

The standardization of the Semantic Web has reached as far as ontologies and ontology languages. However, in order for the full potential of the Semantic Web to be achieved, the ability of reasoning over the available information is also essential. Rules can assist in this affair and various logics have been proposed for the Semantic Web domain. One of them is defeasible reasoning that deals with incomplete and conflicting information. However, despite its solid mathematical notation, it may be confusing to end users. To confront this downside, we proposed a representation schema for defeasibl

APA, Harvard, Vancouver, ISO, and other styles

15

Nemeryuk, Evgeniya E., and Timofey S. Vlasov. "The concept of social stratification in modern sociology." Izvestiya of Saratov University. Sociology. Politology 22, no. 2 (2022): 181–84. http://dx.doi.org/10.18500/1818-9601-2022-22-2-181-184.

Full text

Abstract:

The article discusses the main idea of the concept, which is to reveal a number of problems generated by social stratification in modern sociology. Using the methodological potential of sociology, the author tries to demonstrate the essence and logic of social stratification as a metaphor for the development of modern society. While classical sociology pays more attention to the «master-dependent» relationship, in «modern» sociology, more attention is paid to the middle class, which contributes to ensuring a balance between the two poles of the social hierarchy. If until the 20th century the m

APA, Harvard, Vancouver, ISO, and other styles

16

Pandey, Jatin, and Biju Varkkey. "Impact of Religion-Based Caste System on the Dynamics of Indian Trade Unions: Evidence From Two State-Owned Organizations in North India." Business & Society 59, no. 5 (2017): 995–1034. http://dx.doi.org/10.1177/0007650317745867.

Full text

Abstract:

Religion and its envisaged structures have both macro- and micro-level implications for business. Of the many stratification schemas prevalent in India, two macro-social stratification schemas are important at the workplace: caste, which has been an age-old, religion-mandated, closed social stratification prevalent in Hinduism that had led to inequality in the society, and trade union, which is a relatively new and optional open workplace stratification that empowers workers and fosters equality. This study tries to decipher whether these two structures influence each other; if yes how and why

APA, Harvard, Vancouver, ISO, and other styles

17

Turner, R. "Semantics and Stratification." Journal of Logic and Computation 15, no. 2 (2005): 145–58. http://dx.doi.org/10.1093/logcom/exi007.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Delon, Françoise. "Une fonction de Kolchin pour les corps imparfaits de degré d'imperfection fini." Journal of Symbolic Logic 70, no. 2 (2005): 664–80. http://dx.doi.org/10.2178/jsl/1120224735.

Full text

Abstract:

AbstractNon-perfect separably closed fields are stable, and not superstable. As a result, not all types can be ranked. We develop here a new tool, a “semi-rank”, which takes values in the non-negative reals, and gives a sufficient condition for forking of types. This semi-rank is built up from a transcendence function, analogous to the one considered by Kolehin in the context of differentially closed fields. It yields some orthogonality and stratification results.

APA, Harvard, Vancouver, ISO, and other styles

19

Salomie, Ioan, Emil St Chifu, Andrea Deme, Cristina B. Pop, and Viorica R. Chifu. "Diabetes risk stratification method based on fuzzy logic and bio-inspired meta-heuristics." International Journal of Computational Intelligence Studies 8, no. 3 (2019): 223. http://dx.doi.org/10.1504/ijcistudies.2019.10024286.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Deme, Andrea, Viorica R. Chifu, Cristina B. Pop, Emil St Chifu, and Ioan Salomie. "Diabetes risk stratification method based on fuzzy logic and bio-inspired meta-heuristics." International Journal of Computational Intelligence Studies 8, no. 3 (2019): 223. http://dx.doi.org/10.1504/ijcistudies.2019.102577.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Malešević, Branko, and Dimitrije Jovanović. "Frame’s Types of Inequalities and Stratification." Cubo (Temuco) 26, no. 1 (2024): 1–19. http://dx.doi.org/10.56754/0719-0646.2601.001.

Full text

Abstract:

In this paper we examine some inequalities of Frame's type on the interval \((0,\pi/2)\). By observing this domain we simply obtain the results using the appropriate families of stratified functions and MTP - Mixed Trigonometric Polynomials. Additionally, from those families we specify a minimax approximant as a function with some optimal properties.

APA, Harvard, Vancouver, ISO, and other styles

22

Baturenko, S. A. "Social stratification in the sociological theory of P. Bourdieu." Moscow State University Bulletin. Series 18. Sociology and Political Science 27, no. 2 (2021): 26–43. http://dx.doi.org/10.24290/1029-3736-2021-27-2-26-43.

Full text

Abstract:

The relevance of the work is due to the transformations of the modern system of social stratification and opportunities for social mobility, as well as the need to find relevant approaches for their study. The article is devoted to reconstruction in a holistic form of the main provisions of the theory of social stratification of P. Bourdieu. His vision of the social structure of modern society is original and based on numerous empirical studies. The article analyzes the methodological foundations and features of the theory of social stratification of the French sociologist. Heuristic potential

APA, Harvard, Vancouver, ISO, and other styles

23

Mićović, Miloš, and Branko Malešević. "Jordan-Type Inequalities and Stratification." Axioms 13, no. 4 (2024): 262. http://dx.doi.org/10.3390/axioms13040262.

Full text

Abstract:

In this paper, two double Jordan-type inequalities are introduced that generalize some previously established inequalities. As a result, some new upper and lower bounds and approximations of the sinc function are obtained. This extension of Jordan’s inequality is enabled by considering the corresponding inequalities through the concept of stratified families of functions. Based on this approach, some optimal approximations of the sinc function are derived by determining the corresponding minimax approximants.

APA, Harvard, Vancouver, ISO, and other styles

24

Fitting, Melvin, and Marion Ben-Jacob. "Stratified, Weak Stratified, and Three-Valued Semantics1." Fundamenta Informaticae 13, no. 1 (1990): 19–33. http://dx.doi.org/10.3233/fi-1990-13104.

Full text

Abstract:

We investigate the relationship between three-valued Kripke/Kleene semantics and stratified semantics for stratifiable logic programs. We first show these are compatible, in the sense that if the three-valued semantics assigns a classical truth value, the stratified approach will assign the same value. Next, the familiar fixed point semantics for pure Horn clause programs gives both smallest and biggest fixed points fundamental roles. We show how to extend this idea to the family of stratifiable logic programs, producing a semantics we call weak stratified. Finally, we show weak stratified sem

APA, Harvard, Vancouver, ISO, and other styles

25

Majkowski, Władysław, and Jan Mazur. "EDUCATION AS A FACTOR OF SOCIAL STRATIFICATION." Scientific Journal of Polonia University 36, no. 5 (2019): 48–58. http://dx.doi.org/10.23856/3605.

Full text

Abstract:

The constituent element of every society is its structure. It grows on the basis of multiple factors and constitutes a specific context of human behavior, and more specifically the behavior of individuals of particular groups. On the one hand, human action always has a specific internal logic, but it is also externally conditioned; it takes place within a concrete framework, which are called structures. The structures are therefore a systematized pattern constituting specific frames defining the ways of human interaction. Among social structures, social stratification is at the forefront

APA, Harvard, Vancouver, ISO, and other styles

26

Tupailo, Sergei. "Consistency of strictly impredicative NF and a little more …" Journal of Symbolic Logic 75, no. 4 (2010): 1326–38. http://dx.doi.org/10.2178/jsl/1286198149.

Full text

Abstract:

AbstractAn instance of Stratified Comprehensionis called strictly impredicative iff, under minimal stratification, the type of x is 0. Using the technology of forcing, we prove that the fragment of NF based on strictly impredicative Stratified Comprehension is consistent. A crucial part in this proof, namely showing genericity of a certain symmetric filter, is due to Robert Solovay.As a bonus, our interpretation also satisfies some instances of Stratified Comprehension which are not strictly impredicative. For example, it verifies existence of Frege natural numbers.Apparently, this is a new su

APA, Harvard, Vancouver, ISO, and other styles

27

Xiao, Hui, Shah Nazir, Hanmin Li, Habib Ullah Khan, and Chengwei Li. "Decision Support System to Risk Stratification in the Acute Coronary Syndrome Using Fuzzy Logic." Scientific Programming 2021 (July 26, 2021): 1–9. http://dx.doi.org/10.1155/2021/6571905.

Full text

Abstract:

Acute coronary syndrome (ACS) is a set of symptoms and signs which define a range of conditions related with the unexpected reduced blood flow to the heart. In ACS, the heart muscles cannot function properly due to the decrease of blood flow. Myocardial infarction (MI) is a condition which comes under the umbrella of acute coronary syndrome. The aim of risk stratification (RS) in ACS is to recognize patients at high risk of ischemic events. Yet, no investigative study is available to identify the patients at high risk. Therefore, to facilitate this process, it would be ideal to have a reliable

APA, Harvard, Vancouver, ISO, and other styles

28

Baturenko, S. A. "Social stratification in W.L. Warner research." Moscow State University Bulletin. Series 18. Sociology and Political Science 28, no. 2 (2022): 119–36. http://dx.doi.org/10.24290/1029-3736-2022-28-2-119-136.

Full text

Abstract:

The relevance of the work is due to the transformations of the system of social stratification and opportunities for social mobility, as well as the need to search for relevant approaches for their study in Europe and the United States in the 30–40s of the XX century. The article is devoted to the analysis of studies of the class structure of the American sociologist and social anthropologist William Lloyd Warner. His vision of the social structure of American society is original and based on extensive empirical research. The article analyzes the methodological foundations and features of Warn

APA, Harvard, Vancouver, ISO, and other styles

29

Kaiser, Lukasz, and Lukasz Stafiniak. "First-Order Logic with Counting for General Game Playing." Proceedings of the AAAI Conference on Artificial Intelligence 25, no. 1 (2011): 791–96. http://dx.doi.org/10.1609/aaai.v25i1.7949.

Full text

Abstract:

General Game Players (GGPs) are programs which can play an arbitrary game given only its rules and the Game Description Language (GDL) is a variant of Datalog used in GGP competitions to specify the rules. GDL inherits from Datalog the use of Horn clauses as rules and recursion, but it too requires stratification and does not allow to use quantifiers. We present an alternative formalism for game description which is based on first-order logic (FO). States of the game are represented by relational structures, legal moves by structure rewriting rules guarded by FO formulas, and the goals of the

APA, Harvard, Vancouver, ISO, and other styles

30

Tzfadia, Erez. "Abusing Multiculturalism: The Politics of Recognition and Land Allocation in Israel." Environment and Planning D: Society and Space 26, no. 6 (2008): 1115–30. http://dx.doi.org/10.1068/d6307.

Full text

Abstract:

The logic behind land allocation for residential purposes has undergone a dramatic shift in many states with a colonial legacy in the recent decade, from an ethnonational logic that favors the ethnonational majority to a more liberal-democratic, market-based logic that disregards ethnicity. In Israel, following this shift, a new claim for biased allocation has been voiced by the ethnonational majority, politicians, and administrators, which is based on multiculturalism and recognition. According to this claim, land allocation should serve the communal needs of the majority by limiting the acce

APA, Harvard, Vancouver, ISO, and other styles

31

YOU, JIA-HUAI, HENG ZHANG, and YAN ZHANG. "Disjunctive logic programs with existential quantification in rule heads." Theory and Practice of Logic Programming 13, no. 4-5 (2013): 563–78. http://dx.doi.org/10.1017/s1471068413000355.

Full text

Abstract:

AbstractWe consider disjunctive logic programs without function symbols but with existential quantification in rule heads, under the semantics of general stable models. There are at least two interesting prospects in these programs. The first is that a program can be made more succinct by using existential variables, and the second is on the potential in representing defeasible ontological knowledge by these logic programs. This paper studies some of the properties of these programs. First, we show a simple yet intuitive definition of stable models for these programs that does not resort to se

APA, Harvard, Vancouver, ISO, and other styles

32

Tran, Nhat Minh, and Tran Quynh Mai Pham. "Truth and Falsehood in the Process of Social Stratification." INTERNATIONAL JOURNAL OF SOCIAL SCIENCE HUMANITY & MANAGEMENT RESEARCH 04, no. 05 (2025): 912–18. https://doi.org/10.5281/zenodo.15386071.

Full text

Abstract:

The article “Truth and falsehood in the process of social differentiation” aims to study the nature of human life from the perspective of K. Marx’s critical philosophy, clarifying the truth of human beings as creative, free, fair, and equal labor. At the same time, the article analyzes the process of alienation and falsehood when humans are turned into means of survival for social institutions such as the family, religion, state, and company. The ultimate goal is to find theoretical and practical solutions to reaffirm the truth of human life. The article uses the Marxist crit

APA, Harvard, Vancouver, ISO, and other styles

33

Cobb, Meredith, Michaela J. Woods, and Ryan W. McEwan. "Assessing Seed Handling Processes to Facilitate a Community-Engaged Approach to Regional Forest Restoration." Forests 11, no. 4 (2020): 474. http://dx.doi.org/10.3390/f11040474.

Full text

Abstract:

In the Midwestern United States, there is a strong management impetus toward reforestation to replace trees lost to due to tree mortality and to establish forests on previously cleared properties. Here, we describe a public outreach and volunteer effort that aimed to generate positive, community-engaged restoration outcomes and report on a practical experiment involving seed handling. We obtained tree seeds that were donated by members of the community to local land managers. We evaluated the size of the seeds collected and tested the influence of common stratification media (none, sand and ve

APA, Harvard, Vancouver, ISO, and other styles

34

Xiong, Hanfei. "Risk Logic and Policy Enlightenment of Real Estate Bubble and Financial Crisis." SHS Web of Conferences 151 (2022): 01016. http://dx.doi.org/10.1051/shsconf/202215101016.

Full text

Abstract:

With the rapid growth of economy, residents’ demand for real estate is not only limited to residential function, but also as an important investment product to buy. Therefore, under the joint action of these two demands, the real estate prices in China have increased rapidly. At present, the predicament of the real estate industry, especially the fluctuation of house prices, can easily cause the illusion that the real estate bubble is squeezed out or reduced, thus neglecting to guard against it and causing great disaster. Both the expansion and bursting of bubbles will lead to wealth transfer

APA, Harvard, Vancouver, ISO, and other styles

35

Jeon, June. "Rethinking Scientific Habitus: Toward a Theory of Embodiment, Institutions, and Stratification of Science." Engaging Science, Technology, and Society 5 (July 3, 2019): 160. http://dx.doi.org/10.17351/ests2019.303.

Full text

Abstract:

Pierre Bourdieu’s concept of habitus has been largely absent in Science and Technology Studies (STS) despite its potential usefulness. In this essay, I develop the concept of scientific habitus as a useful way to think about scientific practices. I argue that scientific habitus may offer three contributions that illuminate scientists’ own micro-practices in relation to meso- and macro-level dynamics in the scientific field. First, the concept enables us to think of scientists’ worldviews and bodily techniques as objects of STS analysis. While the majority of STS scholars have focused on the co

APA, Harvard, Vancouver, ISO, and other styles

36

Pillay, Anand. "Some remarks on nonmultidimensional superstable theories." Journal of Symbolic Logic 59, no. 1 (1994): 151–65. http://dx.doi.org/10.2307/2275257.

Full text

Abstract:

In this paper we study nonmultidimensional superstable theories T, possibly in an uncountable language, and develop some techniques permitting the generalisation of certain results from the finite rank (and/or countable language) context to the general case.We prove, among other things, the following: there is a set A0 of parameters, which has cardinality at most ∣T∣, and in the finite-dimensional case is finite, such that over any B ⊇ A0 there is a locally atomic model. One of the consequences of this is that if C is the monster model of T, φ(x) is a formula over A0, φC ⊇ X and (X, φC) satisf

APA, Harvard, Vancouver, ISO, and other styles

37

Yachin, S. E., and N. V. Petrakova. "The Bakhtin phenomenon and the mystery of culture." Communication studies 10, no. 1 (2023): 38–52. http://dx.doi.org/10.24147/2413-6182.2023.10(1).38-52.

Full text

Abstract:

In this article, M. Bakhtin's dialogue is considered as a principle underlying culture. At the same time, in accordance with the method of analytical stratification of modes and existentials of human existence, the dialogue is presented as a three-level structure, including existential, symbolic and normative planes. The paper shows the consistent shift of Bakhtin's attention from the existential (interpersonal) layer of dialogue, which is emphasized in the thinker's earliest works, through its symbolic dimension (as communication mediated by language), to the normative regime unfolding in the

APA, Harvard, Vancouver, ISO, and other styles

38

Rosa Vieira, Marcelo. "A questão da evidência e a fenomenologia Husserliana da razão." Educação e Filosofia 38 (July 19, 2024): 1–64. http://dx.doi.org/10.14393/revedfil.v38a2024-67798.

Full text

Abstract:

Resumo: O presente artigo se destina a tratar do tema da evidência na fenomenologia de Husserl e busca mostrar como essa questão torna-se objeto de uma disciplina fenomenológica especial chamada “fenomenologia da razão”. O texto discute de início a tripla estratificação da lógica feita por Husserl: morfologia pura dos juízos, lógica da não-contradição e lógica da verdade, com o intuito de situar o lugar ocupado pela questão da evidência em sua relação com a lógica e com a concepção fenomenológica de verdade. As 8 seções que vão na sequência dessa discussão ocupam-se, respectivamente, com a dup

APA, Harvard, Vancouver, ISO, and other styles

39

Holmes, M. Randall. "Strong axioms of infinity in NFU." Journal of Symbolic Logic 66, no. 1 (2001): 87–116. http://dx.doi.org/10.2307/2694912.

Full text

Abstract:

This paper discusses a sequence of extensions of NFU, Jensen's improvement of Quine's set theory “New Foundations” (NF) of [16].The original theory NF of Quine continues to present difficulties. After 60 years of intermittent investigation, it is still not known to be consistent relative to any set theory in which we have confidence. Specker showed in [20] that NF disproves Choice (and so proves Infinity). Even if one assumes the consistency of NF, one is hampered by the lack of powerful methods for proofs of consistency and independence such as are available for use with ZFC; very clever work

APA, Harvard, Vancouver, ISO, and other styles

40

Orilia, Francesco. "Property theory and the revision theory of definitions." Journal of Symbolic Logic 65, no. 1 (2000): 212–46. http://dx.doi.org/10.2307/2586533.

Full text

Abstract:

§1. Introduction. Russell's type-theory can be seen as a theory of properties, relations, and propositions (PRPs) (in short, a property theory). It relies on rigid type distinctions at the grammatical level to circumvent the property theorist's major problem, namely Russell's paradox, or, more generally, the paradoxes of predication. Type theory has arguably been the standard property theory for years, often taken for granted, and used in many applications. In particular, Montague [27] has shown how to use a type-theoretical property-theory as a foundation for natural language semantics.In rec

APA, Harvard, Vancouver, ISO, and other styles

41

Baturenko, S. A. "Harry Braverman on the working class and structural transformations of twentieth century society." Moscow State University Bulletin. Series 18. Sociology and Political Science 29, no. 2 (2023): 103–19. http://dx.doi.org/10.24290/1029-3736-2023-29-2-103-119.

Full text

Abstract:

This article is devoted to the work of the American scientist Harry Braverman. The relevance of the article is due, firstly, to the transformation of the system of social stratification occurring in American society in the middle of the twentieth century, as well as the search for relevant approaches for its study. Secondly, the fact that Russian sociology does not pay enough attention to Braverman’s unique contribution to the development of the theory of social structure, his active participation in the current scientific discussion on the working class. The American sociologist investigated

APA, Harvard, Vancouver, ISO, and other styles

42

Haendel, Melissa A., Julie A. McMurry, Rose Relevo, Christopher J. Mungall, Peter N. Robinson, and Christopher G. Chute. "A Census of Disease Ontologies." Annual Review of Biomedical Data Science 1, no. 1 (2018): 305–31. http://dx.doi.org/10.1146/annurev-biodatasci-080917-013459.

Full text

Abstract:

For centuries, humans have sought to classify diseases based on phenotypic presentation and available treatments. Today, a wide landscape of strategies, resources, and tools exist to classify patients and diseases. Ontologies can provide a robust foundation of logic for precise stratification and classification along diverse axes such as etiology, development, treatment, and genetics. Disease and phenotype ontologies are used in four primary ways: ( a) search, retrieval, and annotation of knowledge; ( b) data integration and analysis; ( c) clinical decision support; and ( d) knowledge discover

APA, Harvard, Vancouver, ISO, and other styles

43

Brzinsky-Fay, Christian. "The interplay of educational and labour market institutions and links to relative youth unemployment." Journal of European Social Policy 27, no. 4 (2017): 346–59. http://dx.doi.org/10.1177/0958928717719198.

Full text

Abstract:

Many institutional theories assume that institutions function in conjunction with each other and, therefore, constitute regimes. Moreover, when analysing institutional effects most researchers maintain a purely variable-oriented approach and its ceteris-paribus logic of causal association. This article analyses associations between configurations of labour market and education institutions and relative youth unemployment by examining 30 countries of the Organisation for Economic Co-operation and Development (OECD). The analysis reveals that no single institution constitutes a sufficient or nec

APA, Harvard, Vancouver, ISO, and other styles

44

Viola, Lora Anne. "“Systemically Significant States”: Tracing the G20’s Membership Category as a New Logic of Stratification in the International System." Global Society 34, no. 3 (2020): 335–52. http://dx.doi.org/10.1080/13600826.2020.1739630.

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

Gutiérrez-Sandoval, Ramón, Francisco Gutiérrez-Castro, Natalia Muñoz-Godoy, et al. "The Design of a Multistage Monitoring Protocol for Dendritic Cell-Derived Exosome (DEX) Immunotherapy: A Conceptual Framework for Molecular Quality Control and Immune Profiling." International Journal of Molecular Sciences 26, no. 12 (2025): 5444. https://doi.org/10.3390/ijms26125444.

Full text

Abstract:

The increasing complexity of dendritic cell (DC)-derived exosome (DEX) immunotherapy demands structured monitoring protocols capable of translating molecular activity into actionable clinical outputs. This study proposes a standardized, multistage immunomonitoring framework designed to evaluate immune activation, cytokine polarization, and product integrity in DEX-based therapies. The protocol integrates open access methodologies—flow cytometry, cytometric bead array (CBA), and Western blotting—to assess CD69/CD25 activation, Th1/Th2/Th17 cytokine profiles, and vesicle identity across distinct

APA, Harvard, Vancouver, ISO, and other styles

46

Palma, Alessandro, Marta Iannuccelli, Ilaria Rozzo, et al. "Integrating Patient-Specific Information into Logic Models of Complex Diseases: Application to Acute Myeloid Leukemia." Journal of Personalized Medicine 11, no. 2 (2021): 117. http://dx.doi.org/10.3390/jpm11020117.

Full text

Abstract:

High throughput technologies such as deep sequencing and proteomics are increasingly becoming mainstream in clinical practice and support diagnosis and patient stratification. Developing computational models that recapitulate cell physiology and its perturbations in disease is a required step to help with the interpretation of results of high content experiments and to devise personalized treatments. As complete cell-models are difficult to achieve, given limited experimental information and insurmountable computational problems, approximate approaches should be considered. We present here a g

APA, Harvard, Vancouver, ISO, and other styles

47

Marcovich, Anne, and Terry Shin. "Robert K. Merton." Revista Brasileira de História da Ciência 4, no. 1 (2011): 26–32. http://dx.doi.org/10.53727/rbhc.v4i1.311.

Full text

Abstract:

Robert K. Merton (1910-2003) is generally perceived as the father of the sociology of science. In our article we will present the major claims of Merton’s classical analysis of the 17th century origins of English science and the important gaps in this study. The content of Merton’s famous scientific norms will also be summarized accompanied by discussion of their alternative and contradictory meaning. Finally, we present the concept of the “Mathieu Effect” and its connections with organisational stratification in science. Our analytic perspective is built on the idea that Merton’s sociology is

APA, Harvard, Vancouver, ISO, and other styles

48

MAZURAN, MIRJANA, EDOARDO SERRA, and CARLO ZANIOLO. "A declarative extension of horn clauses, and its significance for datalog and its applications." Theory and Practice of Logic Programming 13, no. 4-5 (2013): 609–23. http://dx.doi.org/10.1017/s1471068413000380.

Full text

Abstract:

AbstractFS-rules provide a powerful monotonic extension for Horn clauses that supports monotonic aggregates in recursion by reasoning on the multiplicity of occurrences satisfying existential goals. The least fixpoint semantics, and its equivalent least model semantics, hold for logic programs with FS-rules; moreover, generalized notions of stratification and stable models are easily derived when negated goals are allowed. Finally, the generalization of techniques such as seminaive fixpoint and magic sets, make possible the efficient implementation of DatalogFS, i.e., Datalog with rules with F

APA, Harvard, Vancouver, ISO, and other styles

49

Lee, Seungbeen, and Yilsoon Paek. "Mobility and Spatial Stratification : The Politics of Underground Space through the Development of Seoul’s Subway System." Association of Korean Cultural and Historical Geographers 36, no. 3 (2024): 74–108. https://doi.org/10.29349/jchg.2024.36.3.74.

Full text

Abstract:

The emergence of diverse architectural techniques has facilitated vertical urbanization, wherein the spatial hierarchy of upper and lower levels, in conjunction with societal class structures, has significantly influenced urban space reorganization. However, this vertical urbanism has been limited in its ability to transcend existing dichotomies, such as horizontal-vertical and upper-lower relationships. Moreover, it has not fully illuminated the logic underlying the interconnectedness of ground, surface, and underground spaces. This study examines the dynamics of cities by integrating urban v

APA, Harvard, Vancouver, ISO, and other styles

50

Baturenko, S. A. "Challenges of society in the second half of the twentieth century and class analysis: the concept of E.O. Wright." Moscow State University Bulletin. Series 18. Sociology and Political Science 30, no. 2 (2024): 137–56. http://dx.doi.org/10.24290/1029-3736-2024-30-2-137-156.

Full text

Abstract:

This article is devoted to the work of American scientist Eric Olin Wright. The relevance of the article is due to the changes in the system of social stratification occurring in modern societies, as well as numerous attempts by scientists to develop relevant approaches to the study of social structure. The American sociologist studied the problems of transformation of the class structure, which is reflected in a large number of his scientific publications. His vision of the system of social stratification of modern societies is original and based on a lot of factual material. Wright was inter

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!