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-4 z 4
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ł
Tytuł:
Wstęp do metafizyki Stanisława Ignacego Witkiewicza
Autorzy:
Kościuszko, Krzysztof
Powiązania:
https://bibliotekanauki.pl/articles/521844.pdf
Data publikacji:
2016
Wydawca:
Uniwersytet Warmińsko-Mazurski w Olsztynie
Tematy:
S.I. Witkiewicz
L. Chwistek
E. Husserl
H. Cornelius
jedność- w-wielości
implikacja
światopogląd
metafizyka
nauk
aktualna nieskończoność
infinitezymale
G. Cantor
prawo wielkich liczb
synteza nauk
unifikacja
zagadnienie psychofizyczne
metodologia filozofii
intuicjonizm
Brouwer
formalizm
Hilbert
K. Goedel
ciągłość czasu
czas całości istnienia
redukcjonizm
monadologia
emergencja
Leibnitz
Opis:
Autor niniejszego artykułu omawia Witkiewiczowskie pojęcie metafizycznej implikacji, spekulatywny charakter metafizyki wynikający z używania eksperymentów myślowych, metodę metafizycznej dedukcji pojęć, zadania metafizyki, stosunek metafizyki do badań empirycznych, stosunek metafizyki do nauki, krytykę fizykalizmu, stanowisko monadologiczne.
Źródło:
Humanistyka i Przyrodoznawstwo; 2016, 22; 207-219
1234-4087
Pojawia się w:
Humanistyka i Przyrodoznawstwo
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-4 z 4

    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