Se connecter

Bibliographies thématiques / Logic stratification / Articles de revues

Pour voir les autres types de publications sur ce sujet consultez le lien suivant : Logic stratification.

Articles de revues sur le sujet « Logic stratification »

Auteur : Grafiati

Publié le 2 juin 2025

Mis à jour le 31 juillet 2025

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres

Choisissez une source :

Consultez les 50 meilleurs articles de revues pour votre recherche sur le sujet « Logic stratification ».

À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.

Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.

Parcourez les articles de revues sur diverses disciplines et organisez correctement votre bibliographie.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

5

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

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

§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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

Nous offrons des réductions sur tous les plans premium pour les auteurs dont les œuvres sont incluses dans des sélections littéraires thématiques. Contactez-nous pour obtenir un code promo unique!