Acceder

Bibliografías temáticas / Propositional Constants / Artículos de revistas

Siga este enlace para ver otros tipos de publicaciones sobre el tema: Propositional Constants.

Artículos de revistas sobre el tema "Propositional Constants"

Autor: Grafiati

Publicado: 11 de marzo de 2023

Última modificación: 31 de julio de 2025

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte los 50 mejores artículos de revistas para su investigación sobre el tema "Propositional Constants".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Explore artículos de revistas sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.

1

Groote, Jan Friso. "Hiding propositional constants in BDDs." Formal Methods in System Design 8, no. 1 (1996): 91–96. http://dx.doi.org/10.1007/bf00121264.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

2

French, Rohan. "Denumerably Many Post-Complete Normal Modal Logics with Propositional Constants." Notre Dame Journal of Formal Logic 53, no. 4 (2012): 549–56. http://dx.doi.org/10.1215/00294527-1722746.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

3

Soble, Alan. "Prolegomena to the Study of Love." Philosophies 8, no. 3 (2023): 44. http://dx.doi.org/10.3390/philosophies8030044.

Texto completo

Resumen

Consider this propositional function which includes the dyadic predicate “loves”: “X does not love Y unless Y loves X” (or “if Y does not love X”). This function may be treated in four ways. (1) If universally quantified, it states a (purported) conceptual truth about “love” or the nature or essence of love. Love is necessarily reciprocal. (2) If universally quantified, it may alternatively be a nomological generalization stating an empirical or factual truth about human nature, i.e., about a pattern of reciprocity that occurs among people who are independently identified as lovers. (3) If ins

Los estilos APA, Harvard, Vancouver, ISO, etc.

4

Ren, Xuanzhi. "Fullness and Decidability in Continuous Propositional Logic." Mathematics 10, no. 23 (2022): 4455. http://dx.doi.org/10.3390/math10234455.

Texto completo

Resumen

In this paper we consider general continuous propositional logics and prove some basic properties about them. First, we characterize full systems of continuous connectives of the form {¬,,f} where f is a unary connective. We also show that, in contrast to the classical propositional logic, a full system of continuous propositional logic cannot contain only one continuous connective. We then construct a closed full system of continuous connectives without any constants. Such a system does not have any tautologies. For the rest of the paper we consider the standard continuous propositional logic

Los estilos APA, Harvard, Vancouver, ISO, etc.

5

Pascucci, Matteo. "A Unified Semantics for a Family of Modal Logics with Propositional Constants." Logica Universalis 10, no. 1 (2015): 45–66. http://dx.doi.org/10.1007/s11787-015-0137-5.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

6

Barendregt, Henk, Martin Bunder, and Wil Dekkers. "Systems of illative combinatory logic complete for first-order propositional and predicate calculus." Journal of Symbolic Logic 58, no. 3 (1993): 769–88. http://dx.doi.org/10.2307/2275096.

Texto completo

Resumen

AbstractIllative combinatory logic consists of the theory of combinators or lambda calculus extended by extra constants (and corresponding axioms and rules) intended to capture inference. The paper considers systems of illative combinatory logic that are sound for first-order propositional and predicate calculus. The interpretation from ordinary logic into the illative systems can be done in two ways: following the propositions-as-types paradigm, in which derivations become combinators or, in a more direct way, in which derivations are not translated. Both translations are closely related in a

Los estilos APA, Harvard, Vancouver, ISO, etc.

7

Hájek, Petr. "Computational complexity of t-norm based propositional fuzzy logics with rational truth constants." Fuzzy Sets and Systems 157, no. 5 (2006): 677–82. http://dx.doi.org/10.1016/j.fss.2005.12.008.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

8

Beklemishev, Lev D. "Bimodal logics for extensions of arithmetical theories." Journal of Symbolic Logic 61, no. 1 (1996): 91–124. http://dx.doi.org/10.2307/2275600.

Texto completo

Resumen

AbstractWe characterize the bimodal provability logics for certain natural (classes of) pairs of recursively enumerable theories, mostly related to fragments of arithmetic. For example, we shall give axiomatizations, decision procedures, and introduce natural Kripke semantics for the provability logics of (IΔ0 + EXP, PRA); (PRA, IΣn); (IΣm, IΣn) for 1 ≤ m < n; (PA, ACA0); (ZFC, ZFC + CH); (ZFC, ZFC + ¬CH) etc. For the case of finitely axiomatized extensions of theories these results are extended to modal logics with propositional constants.

Los estilos APA, Harvard, Vancouver, ISO, etc.

9

Dekkers, Wil, Martin Bunder, and Henk Barendregt. "Completeness of the propositions-as-types interpretation of intuitionistic logic into illative combinatory logic." Journal of Symbolic Logic 63, no. 3 (1998): 869–90. http://dx.doi.org/10.2307/2586717.

Texto completo

Resumen

AbstractIllative combinatory logic consists of the theory of combinators or lambda calculus extended by extra constants (and corresponding axioms and rules) intended to capture inference. In a preceding paper, [2], we considered 4 systems of illative combinatory logic that are sound for first order intuitionistic propositional and predicate logic. The interpretation from ordinary logic into the illative systems can be done in two ways: following the propositions-as-types paradigm, in which derivations become combinators, or in a more direct way, in which derivations are not translated. Both tr

Los estilos APA, Harvard, Vancouver, ISO, etc.

10

Du, Guoping. "Parenthesis Notation." Journal of Research in Philosophy and History 5, no. 1 (2022): p44. http://dx.doi.org/10.22158/jrph.v5n1p44.

Texto completo

Resumen

The formal language of a logical system usually contains several types of symbols. In infix notation, two different kinds of symbols are used to construct compound formula and to indicate the order of combination. The logical constants such as Ø, Ú are used to construct compound formula, and auxiliary symbols such as ( ) are used to indicate the order of a combination. In Polish notation, there is no need for auxiliary symbols such as ( ), and only one class of symbols, N, C, K, etc., is used as a conjunction to make it function as a parenthesis. Contrary to Polish notation, a new parenthesis

Los estilos APA, Harvard, Vancouver, ISO, etc.

11

VYCHODIL, VILEM. "FUZZY ATTRIBUTE IMPLICATIONS AND THEIR EXPRESSIVE POWER." International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 21, no. 04 (2013): 483–96. http://dx.doi.org/10.1142/s0218488513500244.

Texto completo

Resumen

We deal with the expressive power of if-then rules called fuzzy attribute implications (FAIs) which can be seen as formulas A ⇒ B where both A and B are conjunctions of subformulas containing propositional variables and constants for truth degrees and whose interpretation is parameterized by linguistic hedges. The formulas admit the following model-theoretical property: a system of fuzzy sets [Formula: see text] is a fuzzy closure system satisfying an additional condition of being closed under a*-shifts (so-called L*-closure system) if and only if [Formula: see text] is a system of models of a

Los estilos APA, Harvard, Vancouver, ISO, etc.

12

Esteva, Francesc, Lluís Godo, and Carles Noguera. "Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics." Soft Computing 14, no. 3 (2009): 273–84. http://dx.doi.org/10.1007/s00500-009-0402-8.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

13

BELLIN, GIANLUIGI. "Subnets of proof-nets in multiplicative linear logic with MIX." Mathematical Structures in Computer Science 7, no. 6 (1997): 663–69. http://dx.doi.org/10.1017/s0960129597002326.

Texto completo

Resumen

This paper studies the properties of the subnets of a proof-net for first-order Multiplicative Linear Logic without propositional constants (MLL−), extended with the rule of Mix: from [vdash ]Γ and [vdash ]Δ infer [vdash ]Γ, Δ. Asperti's correctness criterion and its interpretation in terms of concurrent processes are extended to the first-order case. The notions of kingdom and empire of a formula are extended from MLL− to MLL−+MIX. A new proof of the sequentialization theorem is given. As a corollary, a system of proof-nets is given for De Paiva and Hyland's Full Intuitionistic Linear Logic w

Los estilos APA, Harvard, Vancouver, ISO, etc.

14

Rybakov, Mikhail, and Dmitry Shkatov. "Algorithmic properties of first-order modal logics of finite Kripke frames in restricted languages." Journal of Logic and Computation 30, no. 7 (2020): 1305–29. http://dx.doi.org/10.1093/logcom/exaa041.

Texto completo

Resumen

Abstract We study the effect of restricting the number of individual variables, as well as the number and arity of predicate letters, in languages of first-order predicate modal logics of finite Kripke frames on the logics’ algorithmic properties. A finite frame is a frame with a finite set of possible worlds. The languages we consider have no constants, function symbols or the equality symbol. We show that most predicate modal logics of natural classes of finite Kripke frames are not recursively enumerable—more precisely, $\varPi ^0_1$-hard—in languages with three individual variables and a s

Los estilos APA, Harvard, Vancouver, ISO, etc.

15

Stålmarck, Gunnar. "Normalization theorems for full first order classical natural deduction." Journal of Symbolic Logic 56, no. 1 (1991): 129–49. http://dx.doi.org/10.2307/2274910.

Texto completo

Resumen

In this paper we prove the strong normalization theorem for full first order classical N.D. (natural deduction)—full in the sense that all logical constants are taken as primitive. We also give a syntactic proof of the normal form theorem and (weak) normalization for the same system.The theorem has been stated several times, and some proofs appear in the literature. The first proof occurs in Statman [1], where full first order classical N.D. (with the elimination rules for ∨ and ∃ restricted to atomic conclusions) is embedded in a system for second order (propositional) intuitionistic N.D., fo

Los estilos APA, Harvard, Vancouver, ISO, etc.

16

Gnad, Daniel, Malte Helmert, Peter Jonsson, and Alexander Shleyfman. "Planning over Integers: Compilations and Undecidability." Proceedings of the International Conference on Automated Planning and Scheduling 33, no. 1 (2023): 148–52. http://dx.doi.org/10.1609/icaps.v33i1.27189.

Texto completo

Resumen

Restricted Tasks (RT) are a special case of numeric planning characterized by numeric conditions that involve one numeric variable per formula and numeric effects that allow only the addition of constants. Despite this, RTs form an expressive class whose planning problem is undecidable. The restricted nature of RTs often makes problem modeling awkward and unnecessarily complicated. We show that this can be alleviated by compiling mathematical operations that are not natively supported into RTs using macro-like action sequences. With that, we can encode many features found in general numeric pl

Los estilos APA, Harvard, Vancouver, ISO, etc.

17

Krajíček, Jan. "A form of feasible interpolation for constant depth Frege systems." Journal of Symbolic Logic 75, no. 2 (2010): 774–84. http://dx.doi.org/10.2178/jsl/1268917504.

Texto completo

Resumen

AbstractLet L be a first-order language and Φ and Ψ two L-sentences that cannot be satisfied simultaneously in any finite L-structure. Then obviously the following principle ChainL,Φ,Ψ(n, m) holds: For any chain of finite L-structures C1, …, Cm with the universe [n] one of the following conditions must fail:For each fixed L and parameters n, m the principle ChainL,Φ,Ψ(n,m) can be encoded into a propositional DNF formula of size polynomial in n, m.For any language L containing only constants and unary predicates we show that there is a constant CL such that the following holds: If a constant de

Los estilos APA, Harvard, Vancouver, ISO, etc.

18

MENN, STEPHEN. "AL-FĀRĀBĪ'S KITĀB AL-ḤURŪF AND HIS ANALYSIS OF THE SENSES OF BEING". Arabic Sciences and Philosophy 18, № 1 (2008): 59–97. http://dx.doi.org/10.1017/s0957423908000477.

Texto completo

Resumen

Al-Fārābī, in the Kitāb al-Ḥurūf, is apparently the first person to maintain that existence, in one of its senses, is a second-order concept [ma‘qūl thānī]. As he interprets Metaphysics Δ7, ‘‘being'' [mawjūd] has two meanings, second-order ‘‘being as truth'' (including existence as well as propositional truth), and first-order ‘‘being as divided into the categories.'' The paronymous form of the Arabic word ‘‘mawjūd'' suggests that things exist through some existence [wujūd] distinct from their essences: for al-Kindī, God is such a wujūd of all things. Against this, al-Fārābī argues that existe

Los estilos APA, Harvard, Vancouver, ISO, etc.

19

Piha, Elena. "Making public space. About the same or about difference?" Journal of Public Space 2, no. 2 (2017): 145. http://dx.doi.org/10.5204/jps.v2i2.100.

Texto completo

Resumen

<p class="Body">This text is about making public space out of and within the omnipresent entirety of space which is the defining circumstance of the macrocosm that holds us and that we inhabit. It begins with a propositional discourse on how that omnipresent space differentiates into public space and further articulates into human places. It concludes with a comparative précis of eight actual projects for public space as programmed, designed, realised and adopted for different purposes in the different socio-cultural and geo-locational situations of five established cities. The focus is

Los estilos APA, Harvard, Vancouver, ISO, etc.

20

Daylight, Edgar Graham. "Tableau with Holes: Clarifying NP-Completeness." Symmetry 17, no. 5 (2025): 677. https://doi.org/10.3390/sym17050677.

Texto completo

Resumen

In the context of defining NP-completeness, a tableau represents a hypothetical accepting computation path p of a nondeterministic polynomial time Turing machine N on an input w. The tableau is encoded by the propositional logic formula ψ, defined as ψ=ψcell∧ψrest. The component ψcell enforces the constraint that each cell in the tableau contains exactly one symbol, while ψrest incorporates constraints governing the step-by-step behavior of N on w. Intuitively, ψrest appears to pose a much greater challenge for satisfiability. This raises the question of whether the distinction between ψcell b

Los estilos APA, Harvard, Vancouver, ISO, etc.

21

Arnon, Avron. "Implication, Equivalence, and Negation." Logical Investigations 27, no. 1 (2021): 31–45. http://dx.doi.org/10.21146/2074-1472-2021-27-1-31-45.

Texto completo

Resumen

A system $HCL_{\overset{\neg}{\leftrightarrow}}$ in the language of {$ \neg, \leftrightarrow $} is obtained by adding a single negation-less axiom schema to $HLL_{\overset{\neg}{\leftrightarrow}}$ (the standard Hilbert-type system for multiplicative linear logic without propositional constants), and changing $ \rightarrow $ to $\leftrightarrow$. $HCL_{\overset{\neg}{\leftrightarrow}}$ is weakly, but not strongly, sound and complete for ${\bf CL}_{\overset{\neg}{\leftrightarrow}}$ (the {$ \neg,\leftrightarrow$} – fragment of classical logic). By adding the Ex Falso rule to $HCL_{\overset{\neg}{

Los estilos APA, Harvard, Vancouver, ISO, etc.

22

Dyckhoff, Roy. "Contraction-free sequent calculi for intuitionistic logic." Journal of Symbolic Logic 57, no. 3 (1992): 795–807. http://dx.doi.org/10.2307/2275431.

Texto completo

Resumen

Gentzen's sequent calculus LJ, and its variants such as G3 [21], are (as is well known) convenient as a basis for automating proof search for IPC (intuitionistic propositional calculus). But a problem arises: that of detecting loops, arising from the use (in reverse) of the rule ⊃⇒ for implication introduction on the left. We describe below an equivalent calculus, yet another variant on these systems, where the problem no longer arises: this gives a simple but effective decision procedure for IPC.The underlying method can be traced back forty years to Vorob′ev [33], [34]. It has been rediscove

Los estilos APA, Harvard, Vancouver, ISO, etc.

23

Bacon, John. "The completeness of a predicate-functor logic." Journal of Symbolic Logic 50, no. 4 (1985): 903–26. http://dx.doi.org/10.2307/2273980.

Texto completo

Resumen

Predicate-functor logic, as founded by W. V. Quine ([1960], [1971], [1976], [1981]), is first-order predicate logic without individual variables. Instead, adverbs or predicate functors make explicit the permutations and replications of argument-places familiarly indicated by shifting variables about. For the history of this approach, see Quine [1971, 309ff.]. With the evaporation of variables, individual constants naturally assimilate to singleton predicates or adverbs, leaving no logical subjects whatever of type 0. The orphaned “predicates” may then be taken simply as terms in the sense of t

Los estilos APA, Harvard, Vancouver, ISO, etc.

24

Stjernfelt, Frederik. "Dicisigns and cognition: The logical interpretation of the ventral-dorsal split in animal perception." Cognitive Semiotics 7, no. 1 (2014): 61–82. http://dx.doi.org/10.1515/cogsem-2014-0004.

Texto completo

Resumen

Abstract The paper is a critical investigation of the linguist James Hurford's bold proposal that animal cognition conforms to basic logical structure – particularly striking in the ventral-dorsal split of visual perception. The overall argument is that dorsal processing of visual information isolates the subject of a simple, perceptual proposition, while ventral processing addresses the corresponding predicate aspect – the two indicating and categorizing the object of perception, respectively. The paper investigates some of the problems in Hurford's interpretation – particularly his refusal o

Los estilos APA, Harvard, Vancouver, ISO, etc.

25

Cottrell, Allin. "Keynes's Theory of Probability and Its Relevance to His Economics: Three Theses." Economics and Philosophy 9, no. 1 (1993): 25–51. http://dx.doi.org/10.1017/s0266267100005101.

Texto completo

Resumen

One calls a lot of things propositions. If one sees this, then one can discard the idea Russell and Frege had that logic is a science of certain objects – propositions, functions, the logical constants – and that logic is like a natural science such as zoology and talks about these objects as zoology talks of animals. Like a natural science, it could supposedly discover certain relations. For example, Keynes claimed to discover a probability relation which was like implication, yet not quite implication. But logic is a calculus, not a natural science, and in it one can make inventions but not

Los estilos APA, Harvard, Vancouver, ISO, etc.

26

Bruyères-Ostells, Walter. "Armées françaises et crises récentes du Moyen-Orient : une histoire qui reste à écrire." Revue Défense Nationale N° 869, no. 4 (2024): 19–22. http://dx.doi.org/10.3917/rdna.869.0019.

Texto completo

Resumen

La reconfiguration du Moyen-Orient est une réalité constante avec une implication historique de la France comme acteur diplomatique et militaire. D’où le besoin de comprendre l’histoire « compliquée » de la région pour en tirer les leçons encore nécessaires aujourd’hui. C’est la proposition de ce dossier pour éclairer cette compréhension d’un passé récent encore prégnant.

Los estilos APA, Harvard, Vancouver, ISO, etc.

27

Makarova, Tatiana V., Olga A. Sotnikova, and Anatoliy E. Groshev. "Forecasting Durability of Construction Composites on the Basis of Liquid Rubber." Materials Science Forum 931 (September 2018): 295–99. http://dx.doi.org/10.4028/www.scientific.net/msf.931.295.

Texto completo

Resumen

Initial theoretical propositions based on S.N. Zhurkov’s concept about termo-fluctuation approach to mechanics of destruction and solid bodies straining is formulated, formulas of dependence limits functionality of solid composites are described in the article. Physical constants of six rubber polymeric concrete composition are experimentally detected, the results of experiments are analyzed and described. The prediction and enhancement problem of working capacity for the polymeric construction materials come to detection of relationship between power, temperature and temporal limits of the ma

Los estilos APA, Harvard, Vancouver, ISO, etc.

28

Rebuschi, Manuel. "Le Moi comme un objet intentionnel. Une sémantique de «je» sans engagement ontologique." Dialogue 51, no. 2 (2012): 187–210. http://dx.doi.org/10.1017/s0012217312000765.

Texto completo

Resumen

RÉSUMÉ : Les attitudes de se sont généralement considérées comme constituant une classe particulière d’attitudes de re. Cet article propose une analyse différente, qui s’appuie sur la notion d’attitude de objecto et qui évite un engagement ontologique envers le sujet. La proposition élabore l’idée de Hintikka d’une logique épistémique dite de seconde génération, qui introduit un marqueur syntaxique permettant d’exprimer des relations d’indépendance entre certaines constantes logiques. De cette sémantique résulte une conception du Moi, dénotation de «je», comme un objet simplement intentionnel.

Los estilos APA, Harvard, Vancouver, ISO, etc.

29

Griffin, Nicholas. "Was Russell Shot or Did He Fall?" Dialogue 30, no. 4 (1991): 549–54. http://dx.doi.org/10.1017/s0012217300011860.

Texto completo

Resumen

In his critical notice of Russell's Theory of Knowledge, R. E. Tully takes issue with my interpretation of Wittgenstein's criticism of Russell's theory of judgment. Against it he raises two objections and also sketches an alternative interpretation. On Tully's characterization, I believe that Russell was shot out of the tree by a subtle but devastating argument, while Tully believes that he was shaken out of the tree by a much broader but non-lethal attack on his conception of a proposition. The metaphor is not inappropriate. I certainly believe that Wittgenstein's attack was lethal to Russell

Los estilos APA, Harvard, Vancouver, ISO, etc.

30

Bourdeau, Michel. "La théorie intuitionniste des types : sémantique des preuves et théorie des constructions." Dialogue 36, no. 2 (1997): 323–40. http://dx.doi.org/10.1017/s0012217300009537.

Texto completo

Resumen

AbstractMartin-Löf's constructive theory introduces, beside proof processes—the brouwerian mental construction—proof objects that could become the subject matter of a new kind of proof theory. In contradistinction to the classical approach, the proposition can then be defined as the set of its proofs. The lower level type theory is therefore a set theory, where the operators Σ and Π generalize the Cartesian product and the functional space to families of sets. To obtain the familiar logical constants, we have only to choose the logical reading of a : A. Σ and Π become ∃ and ∀, or, if there is

Los estilos APA, Harvard, Vancouver, ISO, etc.

31

Ahmed, Oulad El Fakir. "A Contribution to the Empirics of Total Factor Productivity's Theory Based on a CES Production Function-Case of Moroccan Economy." JOURNAL OF ECONOMICS, FINANCE AND MANAGEMENT STUDIES 5, no. 12 (2022): 3741–45. https://doi.org/10.5281/zenodo.7436999.

Texto completo

Resumen

Some propositions related to about growth theory are not valid for all production functions. This is the case for the estimation of total factor productivity based on the growth accounting’s approach which is easily verified with a Cobb-Douglas production function, but difficult to obtain with a CES production function. In this paper, we will try to do that estimation using Moroccan data.

Los estilos APA, Harvard, Vancouver, ISO, etc.

32

Fritz, Peter. "First-order modal logic in the necessary framework of objects." Canadian Journal of Philosophy 46, no. 4-5 (2016): 584–609. http://dx.doi.org/10.1080/00455091.2015.1132976.

Texto completo

Resumen

AbstractI consider the first-order modal logic which counts as valid those sentences which are true on every interpretation of the non-logical constants. Based on the assumptions that it is necessary what individuals there are and that it is necessary which propositions are necessary, Timothy Williamson has tentatively suggested an argument for the claim that this logic is determined by a possible world structure consisting of an infinite set of individuals and an infinite set of worlds. He notes that only the cardinalities of these sets matters, and that not all pairs of infinite sets determi

Los estilos APA, Harvard, Vancouver, ISO, etc.

33

Corrêa, Diogo Silva, and André Ricardo do P. Magnelli. "L’apocalypse de Gaïa : la cosmopolitique pour l’Anthropocène de Bruno Latour." Natures Sciences Sociétés 28, no. 3-4 (2020): 314–22. http://dx.doi.org/10.1051/nss/2021013.

Texto completo

Resumen

Nous vivons dans une société qui, tel unTitanicà la rencontre de son iceberg, persiste à accélérer vers une catastrophe incontrôlable. Les différents signes de la « grande accélération » de l’ère de l’Anthropocène s’accumulent sans cesse. Aurions-nous enfin acquis, avec la pandémie, une (nouvelle) sensibilité aux avertissements constants qui, souvent par lanceurs d’alerte, résonnent avec l’émergence du « nouveau régime climatique » ? Face à la folie de notre temps, c’est d’abord de la perplexité qu’affiche l’anthropologue et philosophe Bruno Latour. On propose de réfléchir ici aux défis actuel

Los estilos APA, Harvard, Vancouver, ISO, etc.

34

Tamai, Fujio, and Yuji Kawakami. "Reflecting Multi-Layer Coatings by RF Sputtering." Materials Science Forum 502 (December 2005): 309–14. http://dx.doi.org/10.4028/www.scientific.net/msf.502.309.

Texto completo

Resumen

This work is concerned with the proposition of high contrast multi-layer structure for the fabrication of reflecting surface in the visible range. The multi-layer SiO2/Ta2O5 system has superior heat resistance and reflecting properties. Ta2O5 and SiO2 thin films were prepared by RF plasma sputtering in Ar-O2 mixed gas using Ta2O5 and SiO2 target respectively. Secondary ion mass spectroscopy and SEM observation were performed in order to investigate the multi-layer structure. The XRD and XPS analyses were also performed in order to investigate the crystal structure and the chemical state of the

Los estilos APA, Harvard, Vancouver, ISO, etc.

35

Legris, Javier. "Paul Hertz y los Orígenes de la Teoría de la Demostración." Episteme – Filosofia e História das Ciências em Revista 3, no. 6 (1998): 89–99. https://doi.org/10.5281/zenodo.6528623.

Texto completo

Resumen

<strong>RESUMEN: </strong>El matemático y físico Paul Hertz escribió durante la década de 1920 una serie de trabajos que influyeron en el desarrollo de la teoría de la demostración y, en particular, la obra de Gentzen. Este trabajo se propone examinar en detalle la teoría lógica de Hertz ubicándola en el contexto del programa metamatemático de Hilbert. Se describe su búsqueda de sistemas independientes mínimos y se analizan sus conceptos de <em>Satzsystem </em>y de demostración normal. Entonces, se traza

Los estilos APA, Harvard, Vancouver, ISO, etc.

36

Legris, Javier. "Paul Hertz y los Orígenes de la Teoría de la Demostración." Episteme – Filosofia e História das Ciências em Revista 3, no. 7 (1998): 148–57. https://doi.org/10.5281/zenodo.6578031.

Texto completo

Resumen

<strong>RESUMEN:</strong> El matemático y físico Paul Hertz escribió durante la década de 1920 una serie de trabajos que influyeron en el desarrollo de la teoría de la demostración y, en particular, la obra de Gentzen. Este trabajo se propone examinar en detalle la teoría lógica de Hertz ubicándola en el contexto del programa metamatemático de Hilbert. Se describe su búsqueda de sistemas independientes mínimos y se analizan sus conceptos de Satzsystem y de demostración normal. Entonces, se traza tambi&ea

Los estilos APA, Harvard, Vancouver, ISO, etc.

37

Gupta, Mousumi, and Debasish Bhattacharjee. "Two Weighted Fuzzy Goal Programming Methods to Solve Multiobjective Goal Programming Problem." Journal of Applied Mathematics 2012 (2012): 1–20. http://dx.doi.org/10.1155/2012/796028.

Texto completo

Resumen

We propose two new methods to find the solution of fuzzy goal programming (FGP) problem by weighting method. Here, the relative weights represent the relative importance of the objective functions. The proposed methods involve one additional goal constraint by introducing only underdeviation variables to the fuzzy operatorλ(resp., 1-λ), which is more efficient than some well-known existing methods such as those proposed by Zimmermann, Hannan, Tiwari, and Mohamed. Mohamed proposed that every fuzzy linear program has an equivalent weighted linear goal program where the weights are restricted as

Los estilos APA, Harvard, Vancouver, ISO, etc.

38

Oramulu, Dorathy O., Chinyere P. Igbokwe, Ifeanyi C. Anabike, Harrison O. Etaga, and Okechukwu J. Obulezi. "Simulation Study of the Bayesian and Non-Bayesian Estimation of a new Lifetime Distribution Parameters with Increasing Hazard Rate." Asian Research Journal of Mathematics 19, no. 9 (2023): 183–211. http://dx.doi.org/10.9734/arjom/2023/v19i9711.

Texto completo

Resumen

In this paper, a new distribution known as the Shifted Chris-Jerry (SHCJ) distribution is proposed. The proposition is motivated by the need to compare the efficiency of various classical estimation methods as well as the bayesian estimation using gamma prior at linear-exponential loss, squared error loss and generalized entropy loss functions. Some useful mathematical properties are derived. Single acceptance sampling plans (SASPs) are created for the distribution when the life test is truncated at a predetermined period. The median lifetime of the SHCJ distribution with pre-defined constants

Los estilos APA, Harvard, Vancouver, ISO, etc.

39

Roulet, Eddy. "Co-enunciation and the definition of dialogue units." Verbum 21, no. 2 (1999): 233–42. https://doi.org/10.3406/verbu.1999.1613.

Texto completo

Resumen

L'auteur de cet article réexamine un problème qui est l'objet de constants débats entre tenants de l'analyse du discours et de l'analyse conversationnelle et qui est soulevé à nouveau par la définition de la structure hiérarchique de la conversation proposée par H. Clark dans son livre Using Language. Il s'agit de la définition des unités de base du dialogue (ou, plus généralement, du discours). L'auteur montre, à partir d'une analyse de la structure des co-énonciations, que 1) le tour de parole ne constitue pas l’unité de base de la structure hiérarchique du dialogue, 2) qu'il constitue néanm

Los estilos APA, Harvard, Vancouver, ISO, etc.

40

IJBTSR. "Impacts de la Digitalisation sur la fonction RH : Proposition d'un Modèle Conceptuel de Recherche." International Journal of Business and Technology Studies and Research 5, no. 2 (2024): 10 pages. https://doi.org/10.5281/zenodo.10527979.

Texto completo

Resumen

<em>La digitalisation a profondément transformé la Fonction des Ressources Humaines (FRH), jouant un rôle central dans l'efficacité organisationnelle. Cette révolution redéfinit la manière dont les entreprises gèrent leurs fonctions, des ressources humaines,  et cela devient possible grâce à l'utilisation d'outils digitaux performants tels que, l'Intelligence Artificielle (IA), Applicant Tracking System (ATS), Robotic Process Automation (RPA), les Réseaux Sociaux (RS)... . La digitalisation de la FRH ne se limite p

Los estilos APA, Harvard, Vancouver, ISO, etc.

41

Bezrukov, Andrey Nikolaevich. "Objectification of Semantic Constants in a Precedent Text ("My Little Leniniana" by Venedikt Yerofeyev)." Филология: научные исследования, no. 5 (May 2023): 50–60. http://dx.doi.org/10.7256/2454-0749.2023.5.39691.

Texto completo

Resumen

The work of Venedikt Yerofeyev has been adequately studied and interpreted, however, there are still a number of texts that have not been practically studied in the mass of critical sources. One of the precedent constructs, an original and self-sufficient work is "My Little Leniniana" (1988). Therefore, the expediency of studying this text is motivated, in demand and relevant. The article attempts a holistic perception of "My little Leniniana" Veins. Erofeev from the standpoint of identifying a precedent construct in this work. The citation character, in our opinion, speaks of the author's des

Los estilos APA, Harvard, Vancouver, ISO, etc.

42

Bignotto, Newton. "A Antropologia Negativa de Maquiavel." Analytica - Revista de Filosofia 12, no. 2 (2013): 77–100. http://dx.doi.org/10.35920/arf.v12i2.543.

Texto completo

Resumen

O artigo analisa o sentido das proposições maquiavelianas que contém um claro caráter antropológico, em particular quando afirmam a maldade inata dos homens. Nossa hipótese é a de que não há uma antropologia presente na obra de Maquiavel. Procuramos mostrar que ele faz uso de afirmações a respeito da natureza humana como de uma "constante negativa", que evita o erro de julgamento dos estudiosos da política que acreditam compreender o sentido das ações humanas na história a partir da explicitação dos predicados morais associados à sua natureza. AbstractThis article analyses some machiavellian's

Los estilos APA, Harvard, Vancouver, ISO, etc.

43

Barra, Jérôme, Maria-Angeles Peña, and Pilar Bustamante. "Proposition of group molar constants for sodium to calculate the partial solubility parameters of sodium salts using the van Krevelen group contribution method." European Journal of Pharmaceutical Sciences 10, no. 2 (2000): 153–61. http://dx.doi.org/10.1016/s0928-0987(00)00061-0.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

44

THOMAZO, M., and B. SOULIE. "CHEMINEMENT ET SELECTION D'UNE SOURCE D'INFORMATION EN MEDECINE DE PREMIER RECOURS : PROPOSITION D'UN MODELE EXPLICATIF PAR THEORISATION ANCREE." EXERCER 34, no. 192 (2023): 148–53. http://dx.doi.org/10.56746/exercer.2023.192.148.

Texto completo

Resumen

Introduction. Des décisions thérapeutiques sont prises lors de chaque consultation, et ce processus décisionnel est aujourd’hui bien étudié dans la littérature psychologique. Ces décisions sont censées se fonder sur le concept d’evidence-based medicine associant à la fois les données actualisées de la science, l’expertise empirique du praticien et les préférences du patient. Lorsqu’un choix doit être fait dans la prise en compte d’une source d’information, plusieurs profils décisionnaires existent. Objectif. Proposer un modèle théorique expliquant le cheminement d’une source d’information dans

Los estilos APA, Harvard, Vancouver, ISO, etc.

45

Delon, Françoise, and Patrick Simonetta. "Undecidable wreath products and skew power series fields." Journal of Symbolic Logic 63, no. 1 (1998): 237–46. http://dx.doi.org/10.2307/2586598.

Texto completo

Resumen

We prove the undecidability of a very large class of restricted and unrestricted wreath products (Theorem 1.2), and of some skew fields of power series (Section2). Both undecidabilities are obtained by interpreting some enrichments of twisted wreath products, which are themselves proved to be undecidable (Proposition 1.1).We consider division rings of power series in various languages:We show (Theorem 2.8) that every power series division ring k((B)), whose field of constants k is commutative and whose ordered group of exponents is noncommutative with a convex center, is undecidable in every e

Los estilos APA, Harvard, Vancouver, ISO, etc.

46

Frápolli, María José. "Vindicating the Frege Project. The Priority of the Propositions and the Expressive Character of Logic [Reivindicando el proyecto de Frege. La prioridad de las proposiciones y el carácter expresivo de la lógica]." Disputatio. Philosophical Research Bulletin 6, no. 7 (2017): 1–42. https://doi.org/10.5281/zenodo.1488197.

Texto completo

Resumen

Frege is widely considered as the father of contemporary logic and analytical philosophy. Nevertheless, a closer look to Frege’s work makes clear that the formalist paroxysm which defines contemporary logic and formal semantics has overlooked substantial parts of Frege’s original project. For this reason, it becomes urgent to re-examine that project in search of illumination about what we are doing when doing logic. The purpose of this paper is to study in particular how Frege dealt with logical constants while developing his ideography as an instrument for the representation of in

Los estilos APA, Harvard, Vancouver, ISO, etc.

47

Rahman, Shahid. "NO-ARGUMENTS: Denials, Refutations, Negations and the Constitution of Arguments." Characteristica Universalis Journal 1, no. 1 (2020): 135–60. https://doi.org/10.5281/zenodo.4294201.

Texto completo

Resumen

L. Horn’s book <em>The Natural History of Negation</em> (Chicago UP, 1989) set both a landmark on the study of negation and a challenge. The challenge is to find some general way to understand what negation is. In fact, while for logicians and philosophers negation is a sentence building operator standardly understood as the reversal of truth and falsity for linguists negation involves a complex network of phenomena that go beyond the notion of sentence operator. Now, since the arrival and development of new notions of logic, different kinds of negation were formulated –

Los estilos APA, Harvard, Vancouver, ISO, etc.

48

Bourdeau, Michel. "Présentation." Revue internationale de philosophie 230, no. 4 (2004): 383–400. http://dx.doi.org/10.3917/rip.230.0383.

Texto completo

Resumen

Après avoir rappelé que l'intuitionnisme tire sa justification ultime d'une certaine idée de la vérité, on montre les répercussions de celle-ci sur les mathématiques puis sur la logique. On oublie souvent que Brouwer ne reconnaissait à peu près aucune valeur à la logique et que ses efforts visaient avant tout à donner une bonne théorie du continu À cette fin. il a développé une mathématique originale qui introduit le devenir dans l'univers jusqu'alors statique des mathématiques. Toutefois, c'est en logique que l'intuitionnisme est aujourd'hui le plus présent. Dans l'interprétation intuitionnis

Los estilos APA, Harvard, Vancouver, ISO, etc.

49

Navarro-Muñoz, Ana. "Le rôle du professionnel du tourisme dans la création d’expériences pour le marché francophone au Costa Rica." Revista Espiga 24, no. 49 (2025): 107–29. https://doi.org/10.22458/re.v24i49.5857.

Texto completo

Resumen

Le Costa Rica est reconnu pour sa biodiversité et son engagement en faveur du tourisme durable, faisant de ce pays une destination prisée par les touristes du monde entier. Toutefois, travailler avec des marchés internationaux variés représente un exercice à la fois singulier et complexe. La diversification des expériences touristiques et culturelles constitue en effet l’un des principaux défis à relever pour consolider une offre écotouristique, face à une demande européenne en constante progression. Le marché francophone, en particulier, attire l’attention des guides touristiques en raison de

Los estilos APA, Harvard, Vancouver, ISO, etc.

50

Quantin, M., C. Morio, G. Guibu Pereira, et al. "Calibration numérique 3D de vannes basculantes pour la mesure du débit déversé." Techniques Sciences Méthodes, no. 5 (May 2019): 89–100. http://dx.doi.org/10.1051/tsm/201905089.

Texto completo

Resumen

Un des objectifs principaux de l’arrêté du 21 juillet 2015 est de limiter les déversements non contrôlés du réseau d’assainissement vers le milieu naturel. Certaines collectivités, telles qu’Orléans Métropole, ont mis en place des vannes à basculement sur les conduites exutoires de leurs déversoirs afin de maximiser le stockage en réseau et de retarder ainsi les déversements d’eau vers le milieu naturel. Le présent travail consiste à concilier l’usage de ce type de vanne avec l’obligation d’autosurveillance, induite par le même arrêté, en élaborant une loi de calibration. Après une caractérisa

Los estilos APA, Harvard, Vancouver, ISO, etc.

Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!