Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "Disjunction" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-10 z 10
    Tytuł:
    Reduction of a Pythagorean Fuzzy Matrix to Fuzzy Matrix
    Autorzy:
    Venkatesan, D.
    Sriram, S.
    Powiązania:
    https://bibliotekanauki.pl/articles/1075512.pdf
    Data publikacji:
    2019
    Wydawca:
    Przedsiębiorstwo Wydawnictw Naukowych Darwin / Scientific Publishing House DARWIN
    Tematy:
    Conjunction
    Disjunction
    Intuitionistic fuzzy matrix
    Pythagorean fuzzy matrix
    Pythagorean fuzzy set
    Opis:
    We have read some of the results of ∨_L and ∧_L from the Lukasiewicz type over Pythagorean fuzzy matrices. We presented four reduction operations about the Pythagorean fuzzy matrices. We associate the reduction operations to relate ∨_L and ∧_L activities.
    Źródło:
    World Scientific News; 2019, 129; 180-192
    2392-2192
    Pojawia się w:
    World Scientific News
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    A New Arithmetically Incomplete First-Order Extension of Gl All Theorems of Which Have Cut Free Proofs
    Autorzy:
    Tourlakis, George
    Powiązania:
    https://bibliotekanauki.pl/articles/749974.pdf
    Data publikacji:
    2016
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    Modal logic
    GL
    first-order logic
    proof theory
    cut elimination
    reflection property
    disjunction property
    quantified modal logic
    QGL
    arithmetical completeness
    Opis:
    Reference [12] introduced a novel formula to formula translation tool (“formula-tors”) that enables syntactic metatheoretical investigations of first-order modallogics, bypassing a need to convert them first into Gentzen style logics in order torely on cut elimination and the subformula property. In fact, the formulator tool,as was already demonstrated in loc. cit., is applicable even to the metatheoreticalstudy of logics such as QGL, where cut elimination is (provably, [2]) unavailable. This paper applies the formulator approach to show the independence of the axiom schema ☐A → ☐∀ A of the logics M3and ML3 of [17, 18, 11, 13]. This leads to the conclusion that the two logics obtained by removing this axiom are incomplete, both with respect to their natural Kripke structures and to arithmetical interpretations.  In particular, the so modified ML3 is, similarly to QGL, an arithmetically incomplete first-order extension of GL, but, unlike QGL, all its theorems have cut free proofs. We also establish here, via formulators, a stronger version of the disjunction property for GL and QGL without going through Gentzen versions of these logics (compare with the more complexproofs in [2,8]).
    Źródło:
    Bulletin of the Section of Logic; 2016, 45, 1
    0138-0680
    2449-836X
    Pojawia się w:
    Bulletin of the Section of Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics
    Autorzy:
    Suzuki, Nobu-Yuki
    Powiązania:
    https://bibliotekanauki.pl/articles/749948.pdf
    Data publikacji:
    2017
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    intermediate predicate logics
    existence property
    disjunction property
    Opis:
    We discuss relationships among the existence property, the disjunction property, and their weak variants in the setting of intermediate predicate logics. We deal with the weak and sentential existence properties, and the Z-normality, which is a weak variant of the disjunction property. These weak variants were presented in the author’s previous paper [16]. In the present paper, the Kripke sheaf semantics is used.
    Źródło:
    Bulletin of the Section of Logic; 2017, 46, 1/2
    0138-0680
    2449-836X
    Pojawia się w:
    Bulletin of the Section of Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    A noteworthy disjunction of the epiphytic moss Lewinskya graphiomitria
    Autorzy:
    Plasek, V.
    Kominkova, Z.
    Cihal, L.
    Fialova, L.
    Guo, S.
    Powiązania:
    https://bibliotekanauki.pl/articles/2130697.pdf
    Data publikacji:
    2020
    Wydawca:
    Polskie Towarzystwo Botaniczne
    Tematy:
    Asia
    Australasia
    China
    intercontinental disjunction
    New Zealand
    Orthotrichum
    phytogeography
    Opis:
    Lewinskya graphiomitria (Müll. Hal. ex Beckett) F. Lara, Garilleti & Goffinet, hitherto considered a New Zealand endemic species, has recently been repeatedly found at different localities in China, thereby representing an intriguing example of a remote intercontinental disjunction among the bryophytes. Herein, the current distribution of this species is reviewed and mapped and its disjunct occurrence in the two widely separated areas is discussed. Maps showing the quantification of extrapolated projection areas for L. graphiomitria are also presented. A possible way of its migration from New Zealand to Asia or vice versa is explained.
    Źródło:
    Acta Societatis Botanicorum Poloniae; 2020, 89, 3
    0001-6977
    2083-9480
    Pojawia się w:
    Acta Societatis Botanicorum Poloniae
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    On Martin-Löf’s Constructive Optimism
    Autorzy:
    Peluce, V. Alexis
    Powiązania:
    https://bibliotekanauki.pl/articles/1796975.pdf
    Data publikacji:
    2020
    Wydawca:
    Polskie Towarzystwo Semiotyczne
    Tematy:
    optimism
    pessimism
    Martin-Löf
    Gödel’s disjunction
    Opis:
    In his 1951 Gibbs Memorial Lecture, Kurt Gödel put forth his famous disjunction that either the power of the mind outstrips that of any machine or there are absolutely unsolvable problems. The view that there are no absolutely unsolvable problems is optimism, the view that there are such problems is pessimism. In his 1995—and, revised in 2013—Verificationism Then and Now, Per Martin-Löf presents an illustrative argument for a constructivist form of optimism. In response to that argument, Solomon Feferman points out that Martin-Löf’s reasoning relies upon constructive understandings of key philosophical notions. In the vein of Feferman’s analysis, one might be object to Martin-Löf’s argument for either its reliance upon constructivist (as opposed to classical) considerations, or for its appeal to non-unproblematically mathematical premises. We argue that both of these responses fall short. On one hand, to be critical of Martin-Löf’s reasoning for its constructiveness is to reject what would otherwise be a scientific advance on the basis of the assumption of constructivism’s falsehood or implausibility, which is of course uncharitable at best. On the other hand, to object to the argument for its use of non-unproblematically mathematical premises is to assume that there is some philosophically neutral mathematics, which is implausible. Martin-Löf’s argument relies upon his third law, the claim that from the impossibility of a proof of a proposition we can construct a proof of its negation. We close with a discussion of some ways in which this claim can be criticized from the constructive point of view. Specifically, we contend that Martin-Löf’s third law is incompatible with what has been called “Poincaré’s Principle of Epistemic Conservation”, the thesis that genuine increase in mathematical knowledge requires subject-specific insight.
    Źródło:
    Studia Semiotyczne; 2020, 34, 1; 233-242
    0137-6608
    Pojawia się w:
    Studia Semiotyczne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Stevenson’s Aesthetics of Entanglement and Non-Disjunction in The Strange Case of Dr Jekyll and Mr Hyde.
    Autorzy:
    Milošević, Bratislav
    Powiązania:
    https://bibliotekanauki.pl/articles/605600.pdf
    Data publikacji:
    2016
    Wydawca:
    Uniwersytet Marii Curie-Skłodowskiej. Wydawnictwo Uniwersytetu Marii Curie-Skłodowskiej
    Tematy:
    selbst
    Binaritäten
    Verwickelung
    Non-Disjunction
    Dualität
    Gegenseitigkeit
    self
    binaries
    entanglement
    non-disjunction
    duality
    bothness
    : moi
    binarités
    enchevêtrement
    non-disjonction
    dualité
    le double
    личность
    бинаризм
    запутанность
    разобщение
    дуализм
    ботность
    Opis:
    Der Band enthält die Abstracts ausschließlich in englischer Sprache.
    The paper engages with Stevenson’s novel The Strange Case of Dr Jekyll and Mr Hyde from the perspective of essential duality embedded in every one’s nature: it explicates the entangling nature of binaries and the aesthetics of non-disjunction of the binary self/Other as embodied in the figures of Dr Jekyll and Mr Hyde respectively. By the novel’s end, the two aspects, the Jekyllean and the Hydean, are perceived not only as “innately responsive and relational”[1](Schapiro 1995: 128) to each other but also as entangled and non-disjunctive within the synthesizing model of the Hegelian dialectic.[1] In her book Literature and the Relational Self Barbara Ann Schapiro argues that individual human beings are fundamentally “responsive and relational” (Schapiro 1995: 128). Accommodating her insightful argument on the interpersonal level, I argue that it can likewise be applied on the intrapersonal level – the two opposing aspects of every one’s nature are not only responsive but also relational. Put differently, the Jekyllean aspect and the Hydean aspect are mutually ‘responsive and relational’ in a complex, entangling, and intertwining way.
    Le numéro contient uniquement les résumés en anglais.
    Том содержит аннотацию только на английском языке.
    Źródło:
    Lublin Studies in Modern Languages and Literature; 2016, 40, 1
    0137-4699
    Pojawia się w:
    Lublin Studies in Modern Languages and Literature
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Fertility improvement in pea [Pisum sativum L.] autotetraploids - mutation breeding
    Autorzy:
    Kumar, H
    Mercykuty, V.C.
    Srivastava, C.P.
    Powiązania:
    https://bibliotekanauki.pl/articles/2048128.pdf
    Data publikacji:
    1995
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    mutation breeding
    micromutation
    fertility improvement
    autotetraploid
    disjunction index
    pea
    Pisum sativum
    seed
    Opis:
    C₂ seeds of autotetraploids (colchicine-induced) of two diverse genotypes, T 163 and 5064-S, of pea (Pisum sativum L.) and their corresponding diploids were irradiated with 10 kR gamma-ray. Autotetraploids showed a high seed-sterility as compared to diploids. Seed fertility increased in M₂ as compared to M₁. Both quadrivalent and bivalent frequencies decreased in the M₁ generation of autotetraploids in relation to their respective controls. However, a positive shift in the mean bivalent formation was noted at the cost of other configurations in C₃-M₂ with respect to C₂-M₁ and varied with the genotype. In the M₂ generation of autotetraploids, the variability was relatively higher for the number of pods per plant and seed yield per plant. Although the mean values for pods per plant, number of seeds per pod and seed yield per plant remained more or less parallel in autotetraploids in M₁ and M₂ generations, there was an increase in the upper range limit probably due to micromutation for these characters in M₂.
    Źródło:
    Journal of Applied Genetics; 1995, 36, 1; 43-48
    1234-1983
    Pojawia się w:
    Journal of Applied Genetics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Logika współczesna a matematyka i filozofia
    Contemporary Logic versus Mathematics and Philosophy
    Autorzy:
    Kiczuk, Stanisław
    Powiązania:
    https://bibliotekanauki.pl/articles/2013167.pdf
    Data publikacji:
    2008
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    logika współczesna
    funktor prawdziwościowy
    znak negacji
    znak alternatywy
    implikacja materialna
    koniunkcja
    modern logic
    truth-functional operator
    negation sign
    disjunction sign
    material implication
    conjunction
    Opis:
    The first part of the paper shows two types of the systems of contemporary logic placed in one of J. Bocheński’s works. The second part of the paper contains Bocheński’s theses concerning contemporary logic. They have been shown against the backdrop of the views held by other authors who discussed some kin issues. In order to supplement Bocheński’s considerations a division of functors has been added. They are divided into extensional and non-extensional. Much attention has been devoted to the problems of logical constants that is rarely discussed in learned literature. It has been stressed that at least one of Bocheński’s typologies should basically be changed, having taken into account the remarks in the paper that supplement Bocheński’s analyses. The above issues have been discussed against the backdrop of the question of relations that obtain between contemporary logic, mathematics, and philosophy.
    Źródło:
    Roczniki Filozoficzne; 2008, 56, 2; 131-150
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Uwagi o implikacji materialnej
    Autorzy:
    Kiczuk, Stanisław
    Powiązania:
    https://bibliotekanauki.pl/articles/2013479.pdf
    Data publikacji:
    2006
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    logika
    funktor prawdziwościowy
    znak negacji
    znak alternatywy
    implikacja materialna
    koniunkcja
    logic
    truth-functional operator
    negation sign
    disjunction sign
    material implication
    conjunction
    Opis:
    In the initial part of the article texts of some authors are analyzed concerning material implication. In the further part of the article the proposition is justified that the operator of material implication differs in quality from other truth-functional operators. The final part of the article is devoted to considerations aiming at presenting what the thesis of the classical propositional calculus, in which the main operator is the operator of material implication, denote.
    Źródło:
    Roczniki Filozoficzne; 2006, 54, 1; 69-80
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    The Problematic Nature of Gödel’s Disjunctions and Lucas-Penrose’s Theses
    Autorzy:
    Avron, Arnon
    Powiązania:
    https://bibliotekanauki.pl/articles/1796961.pdf
    Data publikacji:
    2020
    Wydawca:
    Polskie Towarzystwo Semiotyczne
    Tematy:
    Gödel disjunction
    Lucas-Penrose argument
    mechanism
    mind
    computationalism
    Opis:
    We show that the name “Lucas-Penrose thesis” encompasses several different theses. All these theses refer to extremely vague concepts, and so are either practically meaningless, or obviously false. The arguments for the various theses, in turn, are based on confusions with regard to the meaning(s) of these vague notions, and on unjustified hidden assumptions concerning them. All these observations are true also for all interesting versions of the much weaker (and by far more widely accepted) thesis known as “Gö- del disjunction”. Our main conclusions are that pure mathematical theorems cannot decide alone any question which is not purely mathematical, and that an argument that cannot be fully formalized cannot be taken as a mathematical proof.
    Źródło:
    Studia Semiotyczne; 2020, 34, 1; 83-108
    0137-6608
    Pojawia się w:
    Studia Semiotyczne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-10 z 10

      Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies