Log in

Relevant bibliographies by topics / Propositional Constants / Journal articles

To see the other types of publications on this topic, follow the link: Propositional Constants.

Journal articles on the topic 'Propositional Constants'

Author: Grafiati

Published: 11 March 2023

Last updated: 19 July 2025

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

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Propositional Constants.'

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

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

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

1

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

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

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

4

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

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

<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

APA, Harvard, Vancouver, ISO, and other styles

20

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

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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}{

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

29

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

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

<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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

<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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

<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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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 –

APA, Harvard, Vancouver, ISO, and other styles

48

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

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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