Journal articles: 'Founded theory'

1

Grünbaum, Adolf. "Is Freud's theory well-founded?" Behavioral and Brain Sciences 9, no. 2 (1986): 266–84. http://dx.doi.org/10.1017/s0140525x00022688.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Peratto, P. "Well-founded Relations in Type Theory." Logic Journal of IGPL 5, no. 6 (1997): 811–52. http://dx.doi.org/10.1093/jigpal/5.6.811.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Barr, Michael. "Terminal coalgebras in well-founded set theory." Theoretical Computer Science 114, no. 2 (1993): 299–315. http://dx.doi.org/10.1016/0304-3975(93)90076-6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Lurie, Jacob. "Anti-admissible sets." Journal of Symbolic Logic 64, no. 2 (1999): 407–35. http://dx.doi.org/10.2307/2586475.

Full text

Abstract:

AbstractAczel's theory of hypersets provides an interesting alternative to the standard view of sets as inductively constructed, well-founded objects, thus providing a convienent formalism in which to consider non-well-founded versions of classically well-founded constructions, such as the “circular logic” of [3], This theory and ZFC are mutually interpretable; in particular, any model of ZFC has a canonical “extension” to a non-well-founded universe. The construction of this model does not immediately generalize to weaker set theories such as the theory of admissible sets. In this paper, we formulate a version of Aczel's antifoundation axiom suitable for the theory of admissible sets. We investigate the properties of models of the axiom system KPU−, that is, KPU with foundation replaced by an appropriate strengthening of the extensionality axiom. Finally, we forge connections between “non-wellfounded sets over the admissible set A” and the fragment LA of the modal language L∞.

APA, Harvard, Vancouver, ISO, and other styles

5

HAMKINS, JOEL DAVID. "EVERY COUNTABLE MODEL OF SET THEORY EMBEDS INTO ITS OWN CONSTRUCTIBLE UNIVERSE." Journal of Mathematical Logic 13, no. 02 (2013): 1350006. http://dx.doi.org/10.1142/s0219061313500062.

Full text

Abstract:

The main theorem of this article is that every countable model of set theory 〈M, ∈M〉, including every well-founded model, is isomorphic to a submodel of its own constructible universe 〈LM, ∈M〉 by means of an embedding j : M → LM. It follows from the proof that the countable models of set theory are linearly pre-ordered by embeddability: if 〈M, ∈M〉 and 〈N, ∈N〉 are countable models of set theory, then either M is isomorphic to a submodel of N or conversely. Indeed, these models are pre-well-ordered by embeddability in order-type exactly ω1 + 1. Specifically, the countable well-founded models are ordered under embeddability exactly in accordance with the heights of their ordinals; every shorter model embeds into every taller model; every model of set theory M is universal for all countable well-founded binary relations of rank at most Ord M; and every ill-founded model of set theory is universal for all countable acyclic binary relations. Finally, strengthening a classical theorem of Ressayre, the proof method shows that if M is any nonstandard model of PA, then every countable model of set theory — in particular, every model of ZFC plus large cardinals — is isomorphic to a submodel of the hereditarily finite sets 〈 HF M, ∈M〉 of M. Indeed, 〈 HF M, ∈M〉 is universal for all countable acyclic binary relations.

APA, Harvard, Vancouver, ISO, and other styles

6

Pojman, Louis P. "IS CONTEMPORARY MORAL THEORY FOUNDED ON A MISUNDERSTANDING?*." Journal of Social Philosophy 22, no. 2 (1991): 49–59. http://dx.doi.org/10.1111/j.1467-9833.1991.tb00037.x.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

B. Todorovic, Zoran. "Neutrino Oscillations Founded on Tachyon Theory of Neutrino." International Journal of Astrophysics and Space Science 2, no. 6 (2014): 18. http://dx.doi.org/10.11648/j.ijass.s.2014020601.13.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Peeters, Leopold. "After theory." Acta Academica: Critical views on society, culture and politics 35, no. 1 (2003): 1–30. https://doi.org/10.38140/aa.v35i1.778.

Full text

Abstract:

In French literary studies the reign of “Theory” has come to an end and its demise has left a void. This article proposes that literary studies be founded on anthropological considerations. In order to justify this approach the insufficiencies of theory are first shown to be rooted in dualistic rationalism. Poetry concerns the whole experience of human beings, and three aspects of their irreplaceable individuality and unity are explored: verbal image, rhythm and voice. Since poetry is essentially human it needs to be studied in an interdisciplinary context.

APA, Harvard, Vancouver, ISO, and other styles

9

STORA, RAYMOND. "RENORMALIZED PERTURBATION THEORY: A MISSING CHAPTER." International Journal of Geometric Methods in Modern Physics 05, no. 08 (2008): 1345–60. http://dx.doi.org/10.1142/s0219887808003363.

Full text

Abstract:

Renormalized perturbation theory à la BPHZ can be founded on causality as analyzed by Epstein and Glaser in the seventies. Here, we list and discuss a number of additional constraints of algebraic character some of which have to be considered as parts of the core of the BPHZ framework.

APA, Harvard, Vancouver, ISO, and other styles

10

Erosa, Andrés, Luisa Fuster, and Gueorgui Kambourov. "Towards a Micro-Founded Theory of Aggregate Labour Supply." Review of Economic Studies 83, no. 3 (2016): 1001–39. http://dx.doi.org/10.1093/restud/rdw010.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

Cohen, Liron, and Reuben N. S. Rowe. "Non-well-founded Proof Theory of Transitive Closure Logic." ACM Transactions on Computational Logic 21, no. 4 (2020): 1–31. http://dx.doi.org/10.1145/3404889.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Koch, T. M. "An Attributalistic Theory of Truth." Communications of the Blyth Institute 1, no. 2 (2019): 71–76. http://dx.doi.org/10.33014/issn.2640-5652.1.2.koch.1.

Full text

Abstract:

The Attributalistic Theory of Truth defines truth as being absolute, arithmetic, and axiomatic. Truth is consistent universally as it is tied to existence itself. This existence provides a system of reasoning through three innate principles: the Law of Commonality, the Concept of Infinity, which together allow for the Function of Comparability. Truth is metaphysically founded in the attribute of being. This truth is the absolute truth that meets the criteria of being the independent, prevalent element of reality.

APA, Harvard, Vancouver, ISO, and other styles

13

Dehornoy, Patrick. "Another Use of Set Theory." Bulletin of Symbolic Logic 2, no. 4 (1996): 379–91. http://dx.doi.org/10.2307/421170.

Full text

Abstract:

AbstractHere, we analyse some recent applications of set theory to topology and argue that set theory is not only the closed domain where mathematics is usually founded, but also a flexible framework where imperfect intuitions can be precisely formalized and technically elaborated before they possibly migrate toward other branches. This apparently new role is mostly reminiscent of the one played by other external fields like theoretical physics, and we think that it could contribute to revitalize the interest in set theory in the future.

APA, Harvard, Vancouver, ISO, and other styles

14

Gurevich, Yuri, and Saharon Shelah. "The decision problem for branching time logic." Journal of Symbolic Logic 50, no. 3 (1985): 668–81. http://dx.doi.org/10.2307/2274321.

Full text

Abstract:

AbstractThe theory of trees with additional unary predicates and quantification over nodes and branches embraces a rich branching time logic. This theory was reduced in the companion paper to the first-order theory of binary, bounded, well-founded trees with additional unary predicates. Here we prove the decidability of the latter theory.

APA, Harvard, Vancouver, ISO, and other styles

15

Mechouet, Terkia, and Farid Zidani. "Constructive Type Theory." AL-Lisaniyyat 28, no. 1 (2022): 31–45. http://dx.doi.org/10.61850/allj.v28i1.58.

Full text

Abstract:

The aim of our paper is to present the Constructive Type Theory (CTT) and some related concepts for the Swedish logicianPer Martin Löf, who constructed a formal logic system in orderto establish a philosophical foundation of constructive mathematics. He tried to overcome the deficiencies of the various theoriesconstructed to solve a problematic of set theory which is: Doesthe class of all classes is a member to itself or not? among themRussell’s Type Theory, which is founded on the concept oftype, despite its imperfections and criticisms, opened the wayto others theories like the Alonzo Church’s one which is basedon function not on set, and built what we call Lambda Calculus in1930. These theories were the origin of Constructive Type theoryand its basic concepts: type, proposition, judgment, proof…etc.

APA, Harvard, Vancouver, ISO, and other styles

16

Schumann, Andrew. "Towards Context-Based Concurrent Formal Theories." Parallel Processing Letters 25, no. 01 (2015): 1540008. http://dx.doi.org/10.1142/s0129626415400083.

Full text

Abstract:

We define a kind of simple actions of labelled transition systems. These actions cannot be atomic; consequently, their compositions cannot be inductive. Their informal meaning is that in one simple action we can suppose the maximum of its modifications. Such actions are called hybrid. Then we propose two formal theories on hybrid actions (the hybrid actions are defined there as non-well-founded terms and non-well-founded formulas): group theory and Boolean algebra. Both theories possess many unusual properties such as the following one: the same member of this group theory behaves as multiplicative zero in respect to one members and as multiplicative unit in respect to other members.

APA, Harvard, Vancouver, ISO, and other styles

17

Senge, Sebastian, Tim Leonhardt, and Kinan Halabi. "Quantum Incubation Journey: Theory Founded Use Case and Technology Selection." Digitale Welt 5, no. 2 (2021): 54–61. http://dx.doi.org/10.1007/s42354-021-0338-4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Carvalho, Victorio A., and João Paulo A. Almeida. "Toward a well-founded theory for multi-level conceptual modeling." Software & Systems Modeling 17, no. 1 (2016): 205–31. http://dx.doi.org/10.1007/s10270-016-0538-9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

Alberucci, Luca, та Vincenzo Salipante. "On Modal μ-Calculus and Non-Well-Founded Set Theory". Journal of Philosophical Logic 33, № 4 (2004): 343–60. http://dx.doi.org/10.1023/b:logi.0000036771.59434.71.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Liu, Yunuo, Yaping Zhao, Xinyuan Chen, and Gongfa Li. "Meshing theory of axial arc tooth profile cylindrical worm drive." Advances in Mechanical Engineering 13, no. 4 (2021): 168781402110125. http://dx.doi.org/10.1177/16878140211012519.

Full text

Abstract:

In this paper, the axial arc tooth profile cylindrical worm drive is proposed, whose worm is cut by turning tool. Due to the simple processing equipment, short manufacturing time and low cost, this kind of worm can replace the cylindrical worm ground by grinding wheel under some conditions. The meshing theory of the worm drive is founded comprehensively. Moreover, a movable orthogonal frame is established on the non-orthogonal parametric curves net helical surface. Based on the founded meshing theory, the simulating study on the meshing quality of the worm drive is performed systematically. The numerical outcome shows that the meshing quality of this worm drive is quite favorable, and the condition of forming lubricating oil film is excellent. The working orthogonal clearance of the turning tool is decreased with the increase of the worm thread number, which must be a positive value in the process of worm cutting. This explains that the number of the worm thread is ≤4.

APA, Harvard, Vancouver, ISO, and other styles

21

Zerz, Eva. "Behavioral Systems Theory: A Survey." International Journal of Applied Mathematics and Computer Science 18, no. 3 (2008): 265–70. http://dx.doi.org/10.2478/v10006-008-0024-9.

Full text

Abstract:

Behavioral Systems Theory: A SurveyWe survey the so-called behavioral approach to systems and control theory, which was founded by J. C. Willems and his school. The central idea of behavioral systems theory is to put the focus on the set of trajectories of a dynamical system rather than on a specific set of equations modelling the underlying phenomenon. Moreover, all signal components are treated on an equal footing at first, and their partition into inputs and outputs is derived from the system law, in a way that admits several valid cause-effect interpretations, in general.

APA, Harvard, Vancouver, ISO, and other styles

22

Gourdine, Christopher, Justin Edgren, Thomas Trice, and Joseph Zlatic. "Social Affinity Flow Theory." Journal of Bahá’í Studies 29, no. 4 (2019): 53–80. http://dx.doi.org/10.31581/jbs-29.4.3(2019).

Full text

Abstract:

This article presents a new theoretical construct, Social Affinity Flow Theory (SAFT), which both describes and predicts fl ow phenomena across a diversity of human social systems and is founded upon constructal law. Constructal law and its associated s-curves describe many phenomena, both in nature and in human societies. Extrapolated from the work of Bejan and Zane and integrating social science research, it provides a foundational explanation of social rifts prevalent in many societies today as well as constructive efforts of social change, whether secular or religiously based. A primary example of constructive change explained by SAFT is the community-building work of the Bahá’í Faith, as reflected in both its teachings and its training institute process.

APA, Harvard, Vancouver, ISO, and other styles

23

Nikitina, G. A. "Basic Theses of the Noonomy Theory." Noonomy and Noosociety. Almanac of Scientific Works of the S.Y. Witte INID 4, no. 1 (2025): 118–24. https://doi.org/10.37930/2782-618x-2025-4-1-118-124.

Full text

Abstract:

The basic theses of Professor S.D. Bodrunov’s theory of noonomy are under analysis; the article substantiates the relevance of the development of socialization elements of economic relations, the transition towards the model of the New Industrial Society of the second generation (NIO.2), and finally towards noonomy. It is revealed that changes in the material and technological basis of production founded on knowledge-intensive technologies lead to a global transformation of society itself, in which simulative needs will be replaced by the authentic humanistic qualities and values.

APA, Harvard, Vancouver, ISO, and other styles

24

Sauer, J. "Theory matters! Efficiency measurement and water utilities." Water Supply 5, no. 6 (2005): 251–61. http://dx.doi.org/10.2166/ws.2005.0071.

Full text

Abstract:

As is the case of other infrastructure sectors the availability of efficiency estimation software based on statistical inference – freely distributed via the internet and relatively easy to use – recently inflated the number of corresponding applications in the water sector. The robustness of regulatory measures based on inferences from efficiency measures nevertheless crucially depends on theoretically well-founded estimates. This is illustrated by using an empirical example of an inconsistent technical efficiency frontier for water utilities in Germany.

APA, Harvard, Vancouver, ISO, and other styles

25

Rutten, J. J. M. M. "Processes as terms: non-well-founded models for bisimulation." Mathematical Structures in Computer Science 2, no. 3 (1992): 257–75. http://dx.doi.org/10.1017/s096012950000147x.

Full text

Abstract:

A compositional semantics characterizing bisimulation equivalence is derived from transition system specifications in the SOS style, satisfying certain syntactic syntactic conditions. We use Aczel's nonstandard set theory for solving a recursive equation for a domain fo processes. It contains non-well-founded elements modelling possibly infinite behaviour. Semantic interpretations of syntactic operators are obtained by defining the operational semantics for terms consisting of both syntactic and semantic (processes)entities. Finally, we return to standard set theory by observing that a similar, though less general, result can be obtained with the use of complete metric spaces.

APA, Harvard, Vancouver, ISO, and other styles

26

Gilmore, Paul C. "An intensional type theory: motivation and cut-elimination." Journal of Symbolic Logic 66, no. 1 (2001): 383–400. http://dx.doi.org/10.2307/2694928.

Full text

Abstract:

AbstractBy the theory TT is meant the higher order predicate logic with the following recursively defined types:(1) 1 is the type of individuals and [] is the type of the truth values:(2) [τ1…..τn] is the type of the predicates with arguments of the types τ1…..τn.The theory ITT described in this paper is an intensional version of TT. The types of ITT are the same as the types of TT, but the membership of the type 1 of individuals in ITT is an extension of the membership in TT. The extension consists of allowing any higher order term, in which only variables of type 1 have a free occurrence, to be a term of type 1. This feature of ITT is motivated by a nominalist interpretation of higher order predication.In ITT both well-founded and non-well-founded recursive predicates can be defined as abstraction terms from which all the properties of the predicates can be derived without the use of non-logical axioms.The elementary syntax, semantics, and proof theory for ITT are defined. A semantic consistency proof for ITT is provided and the completeness proof of Takahashi and Prawitz for a version of TT without cut is adapted for ITT: a consequence is the redundancy of cut.

APA, Harvard, Vancouver, ISO, and other styles

27

PAULSON, LAWRENCE C. "Final coalgebras as greatest fixed points in ZF set theory." Mathematical Structures in Computer Science 9, no. 5 (1999): 545–67. http://dx.doi.org/10.1017/s0960129599002790.

Full text

Abstract:

A special final coalgebra theorem, in the style of Aczel (1988), is proved within standard Zermelo–Fraenkel set theory. Aczel's Anti-Foundation Axiom is replaced by a variant definition of function that admits non-well-founded constructions. Variant ordered pairs and tuples, of possibly infinite length, are special cases of variant functions. Analogues of Aczel's solution and substitution lemmas are proved in the style of Rutten and Turi (1993). The approach is less general than Aczel's, but the treatment of non-well-founded objects is simple and concrete. The final coalgebra of a functor is its greatest fixedpoint.Compared with previous work (Paulson, 1995a), iterated substitutions and solutions are considered, as well as final coalgebras defined with respect to parameters. The disjoint sum construction is replaced by a smoother treatment of urelements that simplifies many of the derivations.The theory facilitates machine implementation of recursive definitions by letting both inductive and coinductive definitions be represented as fixed points. It has already been applied to the theorem prover Isabelle (Paulson, 1994).

APA, Harvard, Vancouver, ISO, and other styles

28

Du, Yuan Wei, and Chen Han. "Classical Models and its Applications in D-S Evidence Theory." Applied Mechanics and Materials 204-208 (October 2012): 4958–61. http://dx.doi.org/10.4028/www.scientific.net/amm.204-208.4958.

Full text

Abstract:

D-S evidence theory is a theory of dealing with uncertain information which was empowered by Dempster and expanded by Shafer. However, as a theory founded in 1970s, D-S theory is invalid when there has conflicts between evidences. This papal reviewed classical models and applications of D-S evidence theory. These models revised the shortcomings of D-S theory and put forward some new methods. The applications of D-S theory involved decision-making, information fusion and many other fields.

APA, Harvard, Vancouver, ISO, and other styles

29

Zhang, Jian Sheng. "Study of Non-Linear Theory of Vertical Impact Damping System." Applied Mechanics and Materials 66-68 (July 2011): 119–24. http://dx.doi.org/10.4028/www.scientific.net/amm.66-68.119.

Full text

Abstract:

A mechanics model of vertical impact damping system was founded based on the experimental device introduced in [1], and interrelated theory research was made on the mechanics model. The analytical solution of system dynamical response was gained using transfer function combining with the system’s neighboring boundary compatibility conditions in the fact of the piecewise linear characteristics of the system.

APA, Harvard, Vancouver, ISO, and other styles

30

Zhao, Bu Da, and Ming Xiang. "Skyrmion Excitations in Graphene." Advanced Materials Research 887-888 (February 2014): 960–65. http://dx.doi.org/10.4028/www.scientific.net/amr.887-888.960.

Full text

Abstract:

By making use of theφ-mapping topological current theory and the decomposition of gauge potential theory, we investigate the skyrmion excitations of (2+1)-dimensional graphene. It is shown that the topological numbers are Hopf indices and Brower degrees. Based on the bifurcation theory of theφ-mapping theory, it is founded that the skyrmions can be generated or annihilated at the limit point (the generation and annihilation of skyrmion-antiskyrmion pairs).

APA, Harvard, Vancouver, ISO, and other styles

31

Benhabib, Jess, and Alberto Bisin. "Skewed Wealth Distributions: Theory and Empirics." Journal of Economic Literature 56, no. 4 (2018): 1261–91. http://dx.doi.org/10.1257/jel.20161390.

Full text

Abstract:

Invariably, across a cross-section of countries and time periods, wealth distributions are skewed to the right displaying thick upper tails, that is, large and slowly declining top wealth shares. In this survey, we categorize the theoretical studies on the distribution of wealth in terms of the underlying economic mechanisms generating skewness and thick tails. Further, we show how these mechanisms can be micro-founded by the consumption–savings decisions of rational agents in specific economic and demographic environments. Finally we map the large empirical work on the wealth distribution to its theoretical underpinnings. (JEL C46, D14, D31, E21, J31)

APA, Harvard, Vancouver, ISO, and other styles

32

Citlak, Amadeusz. "Psychology of religion in the theories and research of the Lvov-Warsaw School (basic achievements and developments)." Archive for the Psychology of Religion 43, no. 1 (2021): 95–116. http://dx.doi.org/10.1177/0084672421990754.

Full text

Abstract:

This article presents the basic achievements of the psychology of religion in the Lvov-Warsaw School of K. Twardowski, their developments and significance for the contemporary psychology of religion. Twardowski’s School existed parallel to other European psychological schools: the Würzburg School, founded by Oswald Külpe, and the Dorpat School of the Psychology of Religion, founded by Karl Girgensohn (unfortunately without mutual scientific relations). The article presents two research trends in the psychology of religion resulting from Twardowski’s works, specifically research on mental acts and religious beliefs with use of introspection and research in the field of cultural-historical psychology. The theory of acts and products, and the theory of cratism/power (similar to the theory of Alfred Adler) played crucial roles here. Psychological investigations into religious beliefs were also dominated by the psychological principle of contradiction, and the obtained results also seem to be important today.

APA, Harvard, Vancouver, ISO, and other styles

33

BROWN, CHRIS. "IR theory in Britain – the New Black?" Review of International Studies 32, no. 4 (2006): 677–87. http://dx.doi.org/10.1017/s0260210506007236.

Full text

Abstract:

Anniversaries are occasions for celebration and reflection. The thirtieth anniversary of BISA presents the opportunity to look back over what has been achieved in the eventful years since the foundation of the Association, but also the duty of identifying things that have gone wrong, paths not taken or promising avenues that turned out to be dead-ends. We owe it to the people who founded BISA – some still here, others, sadly, gone – to preserve the critical spirit even when celebrating our achievements, and I will certainly honour that debt in this talk.

APA, Harvard, Vancouver, ISO, and other styles

34

Brewka, Gerhard, and Georg Gottlob. "Well-Founded Semantics for Default Logic." Fundamenta Informaticae 31, no. 3,4 (1997): 221–36. http://dx.doi.org/10.3233/fi-1997-313402.

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

Gallay, Alain. "Logicism: a French view of archaeological theory founded in computational perspective." Antiquity 63, no. 238 (1989): 27–39. http://dx.doi.org/10.1017/s0003598x00075554.

Full text

Abstract:

Theory in archaelogy has largely been an anglophone enterprise, and perhaps too inbred for its own good. The main French school, known particularly from the work of Alain Gallay and Jean-Claude Gardin, was well represented at a CNRS—NSF conference on ‘Symbolic, structural and semiotic approaches in archaeology’, held at Indiana University, Bloomington (IN) in October 1987, where a small group of American, British, French and Swiss archaeologists met to confront their theoretical views. Here Alain Gallay sets out the fundamentals of the ‘logicist’ position.

APA, Harvard, Vancouver, ISO, and other styles

36

Barr, Michael. "Additions and corrections to “Terminal coalgebras in well-founded set theory”." Theoretical Computer Science 124, no. 1 (1994): 189–92. http://dx.doi.org/10.1016/0304-3975(94)90060-4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

Matsuzaki, Keigo, Satoko Hayashi та Waro Nakanishi. "Origin of ¹⁷O NMR chemical shifts based on molecular orbital theory: paramagnetic terms of the pre-α, α and β effects from orbital-to-orbital transitions, along with the effects from vinyl, carbonyl and carboxyl groups". RSC Advances 14, № 20 (2024): 14340–56. http://dx.doi.org/10.1039/d4ra00843j.

Full text

Abstract:

The plain rules founded in theory, other than the empirical rules, were established for the origin of δ(O) to understand the mechanisms to arise 17O NMR chemical shifts, based on the MO theory, where the pre-α, α and β effects were employed for the purpose, which were analyzed mainly by σp(O).

APA, Harvard, Vancouver, ISO, and other styles

38

CHARALAMBIDIS, ANGELOS, PANOS RONDOGIANNIS, and IOANNA SYMEONIDOU. "Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs." Theory and Practice of Logic Programming 18, no. 3-4 (2018): 421–37. http://dx.doi.org/10.1017/s1471068418000108.

Full text

Abstract:

AbstractWe define a novel, extensional, three-valued semantics for higher-order logic programs with negation. The new semantics is based on interpreting the types of the source language as three-valued Fitting-monotonic functions at all levels of the type hierarchy. We prove that there exists a bijection between such Fitting-monotonic functions and pairs of two-valued-result functions where the first member of the pair is monotone-antimonotone and the second member is antimonotone-monotone. By deriving an extension ofconsistent approximation fixpoint theory(Deneckeret al.2004) and utilizing the above bijection, we define an iterative procedure that produces for any given higher-order logic program a distinguished extensional model. We demonstrate that this model is actually aminimalone. Moreover, we prove that our construction generalizes the familiar well-founded semantics for classical logic programs, making in this way our proposal an appealing formulation for capturing thewell-founded semantics for higher-order logic programs.

APA, Harvard, Vancouver, ISO, and other styles

39

Tan, Li Xin, Zhi Hui Deng, Wen Bin Chu, and Xue Dong Li. "Simulation and Analysis of Excitation System Accessorial Controlled by Two Input PSS." Advanced Materials Research 271-273 (July 2011): 955–60. http://dx.doi.org/10.4028/www.scientific.net/amr.271-273.955.

Full text

Abstract:

Founded two input PSS model,by making analysis the theory of Synchro- generator. Use New PSS model to be as a accessorial controlling of Excitation system of Synchro-generator. Founded and simulated the Excitation system including this New PSS in the transient condition based on MATLAB/SIMULINK. Compared the result of simulation, it indicated that the excitation system accessorial controlled by this PSS has nicer roubustness, increased Damp trait of the system,restraining the interference, low frequency oscillation and recover of short cut than the excitation system controlled by PID meth.

APA, Harvard, Vancouver, ISO, and other styles

40

Bullynck, Maarten. "Johann Heinrich Lambert's Scientific Tool Kit, Exemplified by His Measurement of Humidity, 1769–1772." Science in Context 23, no. 1 (2010): 65–89. http://dx.doi.org/10.1017/s026988970999024x.

Full text

Abstract:

ArgumentJohann Heinrich Lambert (1728–1777) developed a very detailed theory of science and experiment. Using Lambert's hygrometric studies, this article provides an introduction to Lambert's theory and its practice. Of special interest is his well-founded theory on the emergence and definition of concepts and his neat eye for heuristics that should ultimately lead to a mathematization of physical phenomena. His use of visualizations in this context is especially remarkable.

APA, Harvard, Vancouver, ISO, and other styles

41

Serbenyuk, Symon. "On One Application of Infinite Systems of Functional Equations in Function Theory." Tatra Mountains Mathematical Publications 74, no. 1 (2019): 117–44. http://dx.doi.org/10.2478/tmmp-2019-0024.

Full text

Abstract:

Abstract The paper presents the investigation of applications of infinite systems of functional equations for modeling functions with complicated local structure that are defined in terms of the nega-˜Q-representation. The infinite systems of functional equations f\left( {{{\hat \varphi }^k}(x)} \right) = \tilde \beta {i_{k + 1}},k + 1 + \tilde p{i_{k + 1}},k + 1f\left( {{{\hat \varphi }^{k + 1}}(x)} \right), where x = \Delta _{{i_1}(x){i_2}(x) \ldots {i_n}(x) \ldots }^{ - \tilde Q} , and φ ̑ is the shift operator of the Q̃-expansion, are investigated. It is proved that the system has a unique solution in the class of determined and bounded on [0, 1] functions. Its analytical presentation is founded. The continuity of the solution is studied. Conditions of its monotonicity and nonmonotonicity, differential, and integral properties are studied. Conditions under which the solution of the system of functional equations is a distribution function of the random variable \eta = \Delta _{{\xi _1}\,\xi 2 \ldots {\xi _n} \ldots }^{\tilde Q} with independent Q̃-symbols are founded.

APA, Harvard, Vancouver, ISO, and other styles

42

Müller, Hans-Harald, and Mirko Nottscheid. "Dilthey und einige Folgen." Internationales Archiv für Sozialgeschichte der deutschen Literatur 45, no. 2 (2020): 370–85. http://dx.doi.org/10.1515/iasl-2020-0022.

Full text

Abstract:

AbstractThe first part of our text analyzes Dilthey’s seminal lecture and essay Archives of Literature in the context of his endeavors to form a philosophically founded empirical research program for the humanities. The second part describes the structure, aims, history, and activities of the Berliner Literatur-Archiv-Gesellschaft (LAG, 1891–1944) which was founded following Diltheyʼs essay. The third part compares the LAG with contemporary archives and archival endeavors by libraries and private collectors.

APA, Harvard, Vancouver, ISO, and other styles

43

Brewster, Maureen Lehto, and Monica Sklar. "‘Brand, community, lifestyle’: Fashioning an authentic, body positive influencer brand on Instagram." Fashion, Style & Popular Culture 9, no. 4 (2022): 501–21. http://dx.doi.org/10.1386/fspc_00158_1.

Full text

Abstract:

Fashion influencers on Instagram create intimate and ‘authentic’ content to develop a branded persona, which they can use to build follower relationships and monetize their account through brand partnerships. However, some influencers are leveraging their online status and relationships to form their own fashion brands. This research examines three case studies of influencer-founded fashion brands: Day/Won, a size-inclusive athletic clothing company founded by model Candice Huffine; Premme, a plus-size clothing brand founded by fashion influencers Gabi Gregg and Nicolette Mason; and Megababe, a body positive beauty brand founded by fashion influencer Katie Sturino, to examine how they communicate with followers and reference body positive discourses to represent themselves as ‘authentic’ and inclusive brands. Over 500 Instagram posts from these influencers’ personal and brand accounts were captured and manually coded and analysed using constructivist grounded theory for practices that the accounts used to establish authentic communication with followers. The findings suggest that influencer and brand accounts align their use of engagement, embodiment and expression strategies in order to develop and convey an authentically body positive identity.

APA, Harvard, Vancouver, ISO, and other styles

44

Raffel, Charles M. "Providence as Consequent upon the Intellect: Maimonides' Theory of Providence." AJS Review 12, no. 1 (1987): 25–71. http://dx.doi.org/10.1017/s0364009400001859.

Full text

Abstract:

Julius Guttmann, in his classic work on the history of Jewish philosophy, summarizes his understanding of Maimonides' theory of divine providence:Divine providence does not, therefore, mean interference with the external course of nature, but is transferred to the inner life of man, where it is founded on the natural connection between the human and the divine spirit.… Intellectual and not ethical factors are decisive for the role of divine providence.

APA, Harvard, Vancouver, ISO, and other styles

45

Shklar, Judith N. "Redeeming American Political Theory." American Political Science Review 85, no. 1 (1991): 3–15. http://dx.doi.org/10.2307/1962875.

Full text

Abstract:

American political theory has been accused of being uniformly liberal; but its history is diverse and is worth studying to understand the development of political science and the institutions it reflects (representative government, federalism, judicial review, and slavery). While modern social science expresses a slow democratization of values, it has been compatible with many ideologies. This can be seen in Jefferson's anthropology, Madison's theory of collective rationality, and Hamilton's empirical political economy. Jacksonian democracy encouraged social history, while its opponents devised an elitist political sociology. Southern defenders of slavery were the earliest to develop a deterministic and authoritarian sociology, but after the Civil War Northern thinkers emulated them with Social Darwinism and quests for causal laws to grasp constant change in industrial society. Though social critics abounded, democratic empirical theory emerged in the universities only in the generation of Merriam and Dewey, who founded contemporary political science.

APA, Harvard, Vancouver, ISO, and other styles

46

Bernard, Pierre, and Liming Wu. "Stochastic linearization: the theory." Journal of Applied Probability 35, no. 3 (1998): 718–30. http://dx.doi.org/10.1239/jap/1032265219.

Full text

Abstract:

Very little is known about the quantitative behaviour of dynamical systems with random excitation, unless the system is linear. Known techniques imply the resolution of parabolic partial differential equations (Fokker–Planck–Kolmogorov equation), which are degenerate and of high dimension and for which there is no effective known method of resolution. Therefore, users (physicists, mechanical engineers) concerned with such systems have had to design global linearization techniques, known as equivalent statistical linearization (Roberts and Spanos (1990)). So far, there has been no rigorous justification of these techniques, with the notable exception of the paper by Kozin (1987). In this contribution, using large deviation principles, several mathematically founded linearization methods are proposed. These principles use relative entropy, or Kullback information, of two probability measures, and Donsker–Varadhan entropy of a Gaussian measure relatively to a Markov kernel. The method of ‘true linearization’ (Roberts and Spanos (1990)) is justified.

APA, Harvard, Vancouver, ISO, and other styles

47

Bernard, Pierre, and Liming Wu. "Stochastic linearization: the theory." Journal of Applied Probability 35, no. 03 (1998): 718–30. http://dx.doi.org/10.1017/s0021900200016363.

Full text

Abstract:

Very little is known about the quantitative behaviour of dynamical systems with random excitation, unless the system is linear. Known techniques imply the resolution of parabolic partial differential equations (Fokker–Planck–Kolmogorov equation), which are degenerate and of high dimension and for which there is no effective known method of resolution. Therefore, users (physicists, mechanical engineers) concerned with such systems have had to design global linearization techniques, known as equivalent statistical linearization (Roberts and Spanos (1990)). So far, there has been no rigorous justification of these techniques, with the notable exception of the paper by Kozin (1987). In this contribution, using large deviation principles, several mathematically founded linearization methods are proposed. These principles use relative entropy, or Kullback information, of two probability measures, and Donsker–Varadhan entropy of a Gaussian measure relatively to a Markov kernel. The method of ‘true linearization’ (Roberts and Spanos (1990)) is justified.

APA, Harvard, Vancouver, ISO, and other styles

48

Kharmandar, Mohammad Ali. "Ricœur’s Extended Hermeneutic Translation Theory: Metaphysics, Narrative, Ethics, Politics." Études Ricoeuriennes / Ricoeur Studies 6, no. 1 (2015): 73–93. http://dx.doi.org/10.5195/errs.2015.281.

Full text

Abstract:

The purpose of this study is to propose the structural outline and conceptual framework of a Ricœurian translation theory. Following a discussion on the ambiguities around situating Ricœur in translation theory, three major interlinked components of the theory are explored. First, the metaphysics of meaning and translation is established based on Ricœur’s hermeneutics of infinitude. Then, the language-processing component is constructed through an incorporation of Ricœur’s narrative theory. Finally, the ethics and politics of translation, particularly in globalization, are founded based on Ricœur’s “age of hermeneutics theory.”

APA, Harvard, Vancouver, ISO, and other styles

49

Girko, Vyacheslav L. "The main probability G-density of the theory of non-Hermitian random matrices, VICTORIA transform, RESPECT and REFORM methods." Random Operators and Stochastic Equations 30, no. 1 (2022): 39–69. http://dx.doi.org/10.1515/rose-2022-2071.

Full text

APA, Harvard, Vancouver, ISO, and other styles

50

Luciano, Erika, and Chiara Pizzarelli. "“The Theory of Practice”." Nuncius 35, no. 1 (2020): 90–113. http://dx.doi.org/10.1163/18253911-03501010.

Full text

Abstract:

Abstract During the first half of the nineteenth century many protagonists of Italian science took part in the renewal of techno-scientific studies with their use of mundane, everyday objects and a model-based didactic methodology. The Kingdom of Sardinia was relatively advanced in this regard, mostly thanks to the work of renowned mathematics professors at the University of Turin such as Carlo Ignazio Giulio and his pupil Quintino Sella. In 1852 they founded the Regio Istituto Tecnico, which in 1861 would become the Reale Scuola di Applicazione per gli Ingegneri and later, in 1906, the Polytechnic. With a review of unpublished material held in the Turin and Biella archives, this work will show how a willingness to merge theoretical knowledge and practical know-how was the mainstay of education in these three schools, and how their students were able to work in cabinets and laboratories, enjoying access to high-quality scientific collections.

APA, Harvard, Vancouver, ISO, and other styles

Journal articles on the topic 'Founded theory'

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