Informacja

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

Wyszukujesz frazę "Brouwer" wg kryterium: Temat


Wyświetlanie 1-3 z 3
Tytuł:
Reduction and continuation theorems for Brouwer degree and applications to nonlinear difference equations
Autorzy:
Mawhin, J.
Powiązania:
https://bibliotekanauki.pl/articles/255344.pdf
Data publikacji:
2008
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
Brouwer degree
nonlinear difference equations
Opis:
The aim of this note is to describe the continuation theorem of [39,40] directly in the context of Brouwer degree, providing in this way a simple frame for multiple applications to nonlinear difference equations, and to show how the corresponding reduction property can be seen as an extension of the well-known reduction formula of Leray and Schauder [24], which is fundamental for their construction of Leray-Schauder's degree in normed vector spaces.
Źródło:
Opuscula Mathematica; 2008, 28, 4; 541-560
1232-9274
2300-6919
Pojawia się w:
Opuscula Mathematica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
From Intuitionism to Brouwers Modal Logic
Autorzy:
Kostrzycka, Zofia
Powiązania:
https://bibliotekanauki.pl/articles/1023286.pdf
Data publikacji:
2020-12-30
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
intuitionistic logic
Kripke frames
Brouwer's modal logic
Opis:
We try to translate the intuitionistic propositional logic INT into Brouwer's modal logic KTB. Our translation is motivated by intuitions behind Brouwer's axiom p →☐◊p The main idea is to interpret intuitionistic implication as modal strict implication, whereas variables and other positive sentences remain as they are. The proposed translation preserves fragments of the Rieger-Nishimura lattice which is the Lindenbaum algebra of monadic formulas in INT. Unfortunately, INT is not embedded by this mapping into KTB.
Źródło:
Bulletin of the Section of Logic; 2020, 49, 4; 343-358
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Interpolation in Normal Extensions of the Brouwer Logic
Autorzy:
Kostrzycka, Zofia
Powiązania:
https://bibliotekanauki.pl/articles/749908.pdf
Data publikacji:
2016
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
normal extensions of the Brouwer logics
Kripke frames
interpolation property
amalgamation property
Opis:
The Craig interpolation property and interpolation property for deducibility are considered for special kind of normal extensions of the Brouwer logic.
Źródło:
Bulletin of the Section of Logic; 2016, 45, 3/4
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-3 z 3

    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