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ę "reflection property" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-2 z 2
    Tytuł:
    Główne idee konserwatyzmu
    The main ideas of conservatism
    Autorzy:
    Jasiński, Karol
    Powiązania:
    https://bibliotekanauki.pl/articles/423252.pdf
    Data publikacji:
    2015
    Wydawca:
    Uniwersytet w Białymstoku. Wydawnictwo Uniwersytetu w Białymstoku
    Tematy:
    conservatism
    political reflection
    community
    equality
    private property
    konserwatyzm
    refleksja polityczna
    wspólnota
    równość
    własność prywatna
    Opis:
    The purpose of this paper is the presentation of conservatism as a stream of life and socio-political reflection. J. de Maistre, E. Burke, A. de Tocqueville, M.J. Oakesshott, R. Kirk and R. Scruton belong to the most important theorists of conservatism, while M. Thatcher, R. Reagan and P. Buchanan to the most important politicians. Conservatism is not a uniform trend. There are, for example, many substantial differences between its American and European versions, but they have some ideas in common. The author presents and describes nine essential ideas: maintenance, transcendent moral order, religion, sustainability, tradition, community, inequality, human imperfection and private property.
    Źródło:
    IDEA. Studia nad strukturą i rozwojem pojęć filozoficznych; 2015, 27; 267-290
    0860-4487
    Pojawia się w:
    IDEA. Studia nad strukturą i rozwojem pojęć filozoficznych
    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ł
      Wyświetlanie 1-2 z 2

      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